Next:
Textbook Proof
Up:
Formalizing Automata Theory I:
Previous:
Formalizing
State Minimization
Textbook Proof
Filling in Gaps in Textbook Proof
Minimization Theorem
Computational Behavior
