Antzeko izenburuak: An introduction to formal languages and automata