Thms nfa 1 Sections AutomataTheory Doc

nd_comp_init Def [ < q,[] > ] == [ < q,nil > ]

Thm* Alph,St:Type, q:St. [ < q,[] > ] NComp(Alph;St)

About:
!abstractionconspairnilalluniversemember