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