PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
nd
comp
init
thm
2
1.
Alph:
Type
2.
St:
Type
3.
NDA:
NDA(Alph;St)
4.
i:
(||[ < I(NDA),nil > ]||-1)
NDA(1of([ < I(NDA),nil > ][i]),hd(rev(2of([ < I(NDA),nil > ][i]))),1of([ < I(NDA),nil > ][(i+1)]))
By:
Reduce 4
Generated subgoals:
None
About:
(||[ < I(NDA),nil > ]||-1)
NDA(1of([ < I(NDA),nil > ][i]),hd(rev(2of([ < I(NDA),nil > ][i]))),1of([ < I(NDA),nil > ][(i+1)]))