Thms
automata
6
Sections
AutomataTheory
Doc
auto3_1
Def
Auto3_1 == < (
s,a. a),0,(
s.true
) >
Thm* Auto3_1
Automata(
1;
1)
About:
s,a. a),0,(s.true
) >
Automata(
1;1)s,a. a),0,(s.true) >
