nfa
1
Sections
AutomataTheory
Doc
cook_nd_automata
Def
NDA(act;init;fin) == < act,init,fin >
Thm*
Alph,St:Type, act:(St
Alph
St
Prop), init:St, fin:(St
). NDA(act;init;fin)
NDA(Alph;St)
About:
Alph,St:Type, act:(St
AlphStProp), init:St, fin:(St
). NDA(act;init;fin) 
NDA(Alph;St)
