NDFSMs and FSMs
Formally FSMs and NDFSMs are equivalent
(Rabin-Scott construction, Rabin ‘59)
In practice, NDFSMs are often more compact
Language-theoretic non-determinism (equivalence-oriented) is subtly different from FSM non-determinism (containment-oriented)
- we need one FSM compatible with the NDFSM
Two classes of FSM non-determinism
- Output (deterministic in language theoretic sense)
- State (less common in practice)