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