PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd init valcom

Alph,St:Type, NDA:NDA(Alph;St). NDA([ < I(NDA),[] > ]) I(NDA)
By: UnivCD
Generated subgoal:

11. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
NDA([ < I(NDA),[] > ]) I(NDA)

About:
alluniverse