Módulo gratuito
Teoría de la computación
Aprende teoría de la computación con práctica: autómatas finitos, expresiones regulares, gramáticas, máquinas de Turing y lo que ningún programa decide.
Las lecciones
Cada lección se lee completa y gratis. Crea una cuenta gratuita para ejecutar sus comandos en un laboratorio y hacer sus cuestionarios y tareas.
1 · Laboratorio de máquina virtual
Autómatas finitos: estados y transiciones
Puedo seguir un autómata finito paso a paso y decir qué textos acepta.
Leer la lección2 · Laboratorio de máquina virtual
Expresiones regulares y grep
Puedo escribir una expresión regular y probarla con grep.
Leer la lección3 · Laboratorio de máquina virtual
Gramáticas: reglas para textos anidados
Puedo usar una gramática para decidir si un texto es válido.
Leer la lección4 · Laboratorio de máquina virtual
Máquinas de Turing: cinta, cabeza y reglas
Puedo seguir una máquina de Turing sobre una cinta paso a paso.
Leer la lección5 · Laboratorio de máquina virtual
Límites de la computación: indecidible y lento
Puedo explicar por qué ningún programa decide todas las preguntas y qué significa que un problema sea demasiado lento.
Leer la lección
Con un laboratorio real
Cada lección de este módulo se practica en un laboratorio que se inicia solo para ti. Los laboratorios que usa:
¿Enseñas a una clase? Asigna este módulo a tus alumnos con guía del profesor, tareas con corrección automática y un laboratorio para cada alumno.