Constructing minimal acyclic deterministic finite automata

Constructing minimal acyclic deterministic finite automata

This thesis is submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Ph.D) in the FASTAR group of the Department of Computer Science, University of Pretoria, South Africa. I present a number of algorithms for constructing minimal acyclic deterministic finite au...

Full description

Bibliographic Details
Main Author: Watson, Bruce William
Other Authors: Kourie, Derrick G.
Published: University of Pretoria 2013
Subjects:
Acyclic finite automata
Minimization
Taxonomy
Algorithmics
Correctness-by-construction
UCTD
Online Access:http://hdl.handle.net/2263/23648
Watson, BW 2010, Constructing minimal acyclic deterministic finite automata, PhD thesis, University of Pretoria, Pretoria, viewed yymmdd < http://hdl.handle.net/2263/23648 >
http://upetd.up.ac.za/thesis/available/etd-03302011-195620/

Internet

http://hdl.handle.net/2263/23648
Watson, BW 2010, Constructing minimal acyclic deterministic finite automata, PhD thesis, University of Pretoria, Pretoria, viewed yymmdd < http://hdl.handle.net/2263/23648 >
http://upetd.up.ac.za/thesis/available/etd-03302011-195620/

Similar Items