PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd ext valcom

Alph,St:Type, NDA:NDA(Alph;St), C:NComp(Alph;St), q:St, a:Alph, p:St. NDA(C) q NDA(q,a,p) NDA(C+[a;p]) p
By: UnivCD
Generated subgoal:

11. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
4. C: NComp(Alph;St)
5. q: St
6. a: Alph
7. p: St
8. NDA(C) q
9. NDA(q,a,p)
NDA(C+[a;p]) p

About:
alluniverseimpliesapply