automata 7 Sections AutomataTheory Doc

Def a.act == 2of(a)

In prior sections: det automata myhill nerode