PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd init valcom 1
1. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)

NDA([ < I(NDA),[] > ]) I(NDA)
By:
Unfold `nd_valcom` 0
THEN
Unfold `nd_comp_init` 0
THEN
Reduce 0
Generated subgoals:

None

About:
universe