2. St: Type
3. Auto: Automata(Alph;St)
4. Fin(St)
5. Fin(Alph)
RL:St*. 
s:St. (w:Alph*. (Result(Auto)w) = s) 
mem_f(St;s;RL) Alph,St:Type, Auto:Automata(Alph;St).
Fin(St) & Fin(Alph) 
(RL:St*. s:St. (w:Alph*. (Result(Auto)w) = s) mem_f(St;s;RL))| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. Fin(St) 5. Fin(Alph) RL:St*. s:St. (w:Alph*. (Result(Auto)w) = s) mem_f(St;s;RL) |
About:
 |  |  |  |  |  |  |