https://1library.org/document/zpnpl7oo-scc-capítulo-linguagens-recursivamente-enumeráveis-máquinas-de-turing.html