PrintForm
Definitions
automata
7
Sections
AutomataTheory
Doc
At:
auto1
lang
1
2
1.
(
l:
2*. LangOf(Auto
)(l))
n:
2. n = 0
(
l:
2*. LangOf(Auto
)(l))
By:
Witness 1
THEN
Fold `languages` 0
Generated subgoals:
None
About:
(
l:
2*. LangOf(Auto
)(l))
n:2. n = 0 
(l:2*. LangOf(Auto)(l))
