Theory of Computation & Automata