automata 5 Sections AutomataTheory Doc

Def as @ bs == Case of as; nil bs ; a.as' a.(as' @ bs) (recursive)

In prior sections: list 1 list 3 autom exponent action sets det automata myhill nerode