https://www.nesoacademy.org/cs/04-theory-of-computation