finite automaton proof

Printable View