Estos lenguajes también son denominados "recursivamente enumerables"