PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
back
listify
1
1
1
1
1.
Alph:
Type
2.
S:
ActionSet(Alph)
3.
s:
S.car
4.
Fin(Alph)
5.
Fin(S.car)
6.
LL:
(S.car
S.car*)*
7.
t:
S.car
8.
i:
0. 1of(nil[i]) = t & mem_f(S.car;s;2of(nil[i]))
False
By:
Analyze -1
Generated subgoals:
None
About:
S.car*)*
i:
0. 1of(nil[i]) = t & mem_f(S.car;s;2of(nil[i]))
False
