Crear
Descargar
Obtener Plan Académico
Compartir juego
Intégralo en tu plataforma

Puedes integrar el juego en un LMS compatible con LTI 1.1 o LTI 1.3 como Canvas, Moodle, o Blackboard. De esta manera podrás guardar las puntuaciones automáticamente en el libro de calificaciones de esa plataforma.
Descargar
Has superado el número máximo de juegos que puedes integrar en Google Classroom con tu Plan actual.

Para integrar tantos juegos como quieras en Google Classroom, necesitas un Plan Académico o un Plan Comercial.

Has superado el número máximo de juegos que puedes integrar en Microsoft Teams con tu Plan actual.

Para integrar tantos juegos como quieras en Microsoft Teams, necesitas un Plan Académico o un Plan Comercial.

La descarga de juegos es una característica exclusiva para usuarios con un Plan Académico o un Plan Comercial.

Obtén ahora tu Plan Académico o Comercial y comienza a integrar tus juegos en tu LMS, web o blog.

Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:

Quiz: Máquinas de Turing y Lenguajes

Test

(2)
Jugadas 18

Sobre esta actividad

Conceptos clave de TM y lenguajes

Creada por

México

Descarga la versión para jugar en papel

Crea tu propio juego gratis desde nuestro creador de juegos
Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad

Top juegos

%
Anónimo
Anónimo
%
%
%
Has superado el número máximo de juegos que puedes imprimir con tu Plan actual.

Para imprimir tantos juegos como quieras, necesitas un Plan Académico o un Plan Comercial.

Imprime tu juego
Quiz: Máquinas de Turing y Lenguajes
 

Quiz: Máquinas de Turing y LenguajesVersión en línea

Conceptos clave de TM y lenguajes

por Ariadna Pérez
1

¿Cuándo acepta una cadena una Máquina de Turing?

2

¿Qué significa el bucle en una TM para una cadena inválida?

3

Diferencia entre decidible y reconocible: una TM.

4

¿A qué tipo de lenguaje pertenecen las TM en la Jerarquía de Chomsky?

5

¿Puede una TM aceptar {a^n b^n c^n} y por qué?

6

¿Qué demuestra el Halting Problem?

7

¿Qué clave diferencia a una TM de un autómata de pila frente a ciertos lenguajes?

8

¿Qué implica que un lenguaje sea Turing-reconocible?

9

¿Qué afirma la jerarquía Turing y el tipo de lenguaje para TM?

10

¿Qué papel tiene el concepto de aceptación en una TM?

Explicación

La aceptación ocurre solo si la máquina se detiene en un estado de aceptación.

Si la cadena es inválida, la TM puede nunca detenerse (loop).

Decidible implica detención; reconocible puede no detenerse con entradas no pertenecientes.

Las TM generales trabajan sobre lenguajes Type-0, recursivamente enumerables.

Las TM pueden decidir lenguajes complejos como {a^n b^n c^n}.

El problema de la parada demuestra límites fundamentales de la computación.

La TM supera límites de vida útil de una pila gracias a la cinta infinita.

Los lenguajes reconocibles pueden requerir detención para aceptar, pero no siempre.

Las TM aceptan lenguajes Type-0, recursivamente enumerables.

La cadena es aceptada si la TM se detiene en un estado de aceptación.

¿Estás seguro que quieres abandonar la página?

Al abandonar la página perderás el progreso del juego.