det automata Sections AutomataTheory Doc

Def #(t)=n == t ~ n

Thm* Auto:Automata(Alph;St). Fin(St) (n:. #(St)=n ) pos_states

In prior sections: action sets