automata 6 Sections AutomataTheory Doc

Def i=j == if i=j true ; false fi

In prior sections: bool 1 action sets