Văn bản này: Automata, formal languages and algebraic systems