Fundamentals of Automata Theory and Compiler Construction