automata 5 Sections AutomataTheory Doc

Def null(as) == Case of as; nil true ; a.as' false

In prior sections: list 1