2. St: Type
3. Auto: Automata(Alph;St)
4. Fin(Alph) & Fin(St)
Dec(
l:Alph*. LangOf(Auto)(l)) 
Alph,St:Type, Auto:Automata(Alph;St). Fin(Alph) & Fin(St) 
Dec(l:Alph*. LangOf(Auto)(l))| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. Fin(Alph) & Fin(St) Dec(l:Alph*. LangOf(Auto)(l)) |
About:
 |  |  |  |  |  |  |