Automata, languages, and machines. Vol. A.