automata
7
Sections
AutomataTheory
Doc
Def
Auto
== < (
s,a. s),0,(
s.true
) >
Thm*
n:
2. n = 0
(
l:
2*. LangOf(Auto
)(l)) auto1_lang
In prior sections:
automata
6
n:
2. n = 0 
(l:2*. LangOf(Auto
)(l)) auto1_lang
== < (
s,a. s),0,(s.true
) >
n:2. n = 0 (l:2*. LangOf(Auto)(l)) auto1_lang