PrintForm
Definitions
automata
5
Sections
AutomataTheory
Doc
At:
min
auto
sound
1
1.
Alph:
Type
2.
St:
Type
3.
Auto:
Automata(Alph;St)
4.
l:
Alph*
Auto(l)
A(
l.Auto(l)
)(l)
By:
RWH (AddrC [2;1] (UnfoldC `accept_list`)) 0
THEN
Reduce 0
Generated subgoal:
1
Auto(l)
FinalState(Auto)(Result(Auto)Result(A(
l.FinalState(Auto)(Result(Auto)l)))l)
About:
Auto(l)
FinalState(Auto)(Result(Auto)Result(A(
l.FinalState(Auto)(Result(Auto)l)))l) Auto(l) A(l.Auto(l))(l) Auto(l) FinalState(Auto)(Result(Auto)Result(A(l.FinalState(Auto)(Result(Auto)l)))l)
