Source: https://www.cin.ufpe.br/~jjss/Introcuction to Theory of computation by Micheal Sipser Ist Ed..pdf