Note for Automata Theory And Computability - ATC by Suraj Keshri