automata 4 Sections AutomataTheory Doc

Def ||as|| == Case of as; nil 0 ; a.as' ||as'||+1 (recursive)

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