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