2. L: LangOver(Alph)
g:((x,y:Alph*//(x L-induced Equiv y))
). A(g) 
Automata(Alph;x,y:Alph*//(x L-induced Equiv y)) Alph:Type, L:LangOver(Alph), g:((x,y:Alph*//(x L-induced Equiv y))).
A(g) Automata(Alph;x,y:Alph*//(x L-induced Equiv y))| 1 | 1. Alph: Type 2. L: LangOver(Alph) g:((x,y:Alph*//(x L-induced Equiv y))). A(g) Automata(Alph;x,y:Alph*//(x L-induced Equiv y)) |
About:
 |  |  |  |  |  |  |