languages Sections AutomataTheory Doc

Def b == if b True else False fi

In prior sections: bool 1 list 1 finite sets list 3 autom