automata 6 Sections AutomataTheory Doc

Def (x:T. b(x))(x) == b(x)

In prior sections: list 1