|finite state minimization proofs email@example.com (Ralph P. Boland) (2003-08-20)|
|Re: finite state minimization proofs derkgwen@HotPOP.com (Derk Gwen) (2003-08-23)|
|From:||Derk Gwen <derkgwen@HotPOP.com>|
|Date:||23 Aug 2003 23:05:18 -0400|
|Organization:||Quick STOP Groceries|
|Posted-Date:||23 Aug 2003 23:05:18 EDT|
"Ralph P. Boland" <firstname.lastname@example.org> wrote:
# Where can I find the simplest proofs that
# the algorithms for finite state machine minimiztion
# are correct; i.e. that the machine constructed has
# the fewest number of states?
Aho and Ullman The Theory of Parsing, Translation, and Compiling Volume 1.
Chapter 2.2 and 2.3 cover regular sets including deterministic and minimal
Derk Gwen http://derkgwen.250free.com/html/index.html
Return to the
Search the comp.compilers archives again.