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