Ngā tūemi rite: Theory of computer science: automata,languages and computation