PrintForm
Definitions
det
automata
Sections
AutomataTheory
Doc
At:
compute
l
inv
1
1
1.
Alph:
Type
2.
St:
Type
3.
Auto:
Automata(Alph;St)
4.
x:
Alph*
5.
y:
Alph*
6.
z:
Alph*
7.
(Result(Auto)x) = (Result(Auto)y)
(Result(Auto)nil @ x) = (Result(Auto)nil @ y)
By:
Reduce 0
Generated subgoals:
None
About:
(Result(Auto)nil @ x) = (Result(Auto)nil @ y)
