Listado 3 de problemas, Teorı́a de la Computación.

Prof. Pablo Sáez.

Para efectos de los problemas de este listado asuma que el alfabeto de la

máquina de Turing es {0, 1, #}. Construya máquinas de Turing que reconozcan
los siguientes lenguajes:
1. {(01)n , n ∈ N} (los paréntesis no son parte del lenguaje, son para efectos
del exponente).
2. El conjunto de las palabras que tengan a 01 como substring.

3. El conjunto de las palabras que no tengan a 01 como substring.

4. El conjunto de palabras de más de 3 dı́gitos.
5. El conjunto de palabras que terminan en 111.

6. El conjunto de palabras que comienzan con 000.

7. El conjunto de palabras con una cantidad par de dı́gitos.
8. Los números (binarios) impares.
9. {0m 1n , m, n ∈ N}.

Se recomienda también revisar los problemas del texto guı́a, el Brookshear,

aunque pudiera haber allı́ problemas de un nivel de dificultad mayor que el de
los de la prueba.