Alph,St:Type, Auto:Automata(Alph;St). Fin(Alph) & Fin(St) Con(MinAuto(Auto))

1	1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. Fin(Alph) & Fin(St) Con(MinAuto(Auto))

About: