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