automata 4 Sections AutomataTheory Doc

Def DA(l) == FinalState(DA)(Result(DA)l)

In prior sections: det automata