l:
2*. LangOf(Auto
)(l))
n:2. n = 0 
(l:2*. LangOf(Auto)(l)) n:2. n = 0 (l:2*. LangOf(Auto)(l))
Auto:Automata(Alph;St).
Fin(Alph) & Fin(St) 
Dec(l:Alph*. LangOf(Auto)(l))
[2;3;Auto]
THENA
(Auto
THEN
BackThru
Thm* n:. Fin(n))| 1 | 1. Dec(l:2*. LangOf(Auto)(l)) n:2. n = 0 (l:2*. LangOf(Auto)(l)) |
About:
 |  |  |  |  |  |