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