https://profilbaru.com/en/Automata,_Computability_and_Complexity:_Theory_and_Applications