languages
Sections
AutomataTheory
Doc
Def
(L
)(l) ==
n:
. (L
n)(l)
Thm*
L,L':LangOver(Alph). L = L'
(L
) = (L'
) lang_closure_functionality
L,L':LangOver(Alph). L = L' 
(L
) = (L')
lang_closure_functionality
)(l) == 
n:
. (Ln)(l)
L,L':LangOver(Alph). L = L' (L) = (L')
lang_closure_functionality