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