Formal Languages and Automata Theory

No casts.