Antzeko izenburuak: Theory of automata and formal languages