Գրեք սա: Automata theory :