PCmtScan FSM
FSM-to-Program Machine
Mealy-to-Moore Conversion
Mealy model Masquerading as a Moore model (COOL/LCP)
Non-equivalence of entry and exit actions
Moore-Mealy Equivalence
Binary-Decision Expansions:
ScanCode FSM
ScanComment FSM
ScanComment Expansion
Email: lechner@cs.uml.edu
Home Page: http://www.cs.uml.edu/~lechner
Best experienced with Click here to start.
Download presentation source