Văn bản này: Introduction to the Theory of Automata