finite automata

[ریاضیات] ماشین خودکار با پایان