Automata Theory and Computability 15CS54