Entre los lenguajes formales que son aceptados por una máquina de Turing se pueden citar: