PrintForm
Definitions
det
automata
Sections
AutomataTheory
Doc
At:
compute
list
wf
1
1.
Alph:
Type
2.
St:
Type
3.
A:
Automata(Alph;St)
4.
l:
Alph*
(Result(A)l)
St
By:
ListInd 4
Generated subgoals:
1
(Result(A)nil)
St
2
5.
u:
Alph
6.
v:
Alph*
7.
(Result(A)v)
St
(Result(A)u.v)
St
About:
(Result(A)nil) 
St St (Result(A)u.v) St (Result(A)l) St (Result(A)nil) St St (Result(A)u.v) St
