Automata, Languages, and Programming