Lenguajes y Autómatas - Módulo 3.2 (Máquinas de Turing)
HTML-код
- Опубликовано: 15 дек 2024
- Material elaborado por el Profesor Dr. Fabián Riquelme Csori, para el curso de Lenguajes y Autómatas, de la Escuela de Ingeniería Civil Informática de la Universidad de Valparaíso, Chile.
MÓDULOS DEL CURSO
Capítulo 1. Lenguajes regulares y autómatas finitos.
1. Alfabetos, cadenas y lenguajes
2. Jerarquía de Chomsky
3. Expresiones regulares
4. Autómatas finitos deterministas (DFA)
5. Autómatas finitos no-deterministas (NFA)
6. Conversión y equivalencia NFA-DFA
7. Lema del bombeo (para lenguajes regulares)
Capítulo 2. Lenguajes libres de contexto y autómatas de pila
1. Gramáticas libres de contexto (CFG)
2. Árboles de derivación
3. Autómatas de pila (PDA)
4. Conversión CFG-PDA
5. Lema del bombeo (para lenguajes libres de contexto)
Capítulo 3. Máquinas de Turing y computabilidad
1. Tesis de Church-Turing
2. Máquinas de Turing (TM)
3. TM en notación modular
4. Variaciones de TM
5. TM no-deterministas
gracias por la info, deberías subir también Lenguajes Sensibles de Contexto
Hola Cristian, habrá algún libro que me recomiendes que pueda consultar para ahondar en la información o ver algunos ejemplos?
Hola, me gustaría saber cuál es el libro de donde saca sus ejemplos?
Hola, estos ejemplos los he ido encontrando con los años. No recuerdo si los he sacado de literatura, de otros cursos o han sido inventados por yo mismo. Lo siento! Muchos saludos.
¿El gato significa Lambda?
el numeral (o gato como lo llaman acá) en este caso representa un bit vacío o espacio en la cinta y se utiliza para saber si la máquina llegó a uno de sus extremos es decir si llegó al inicio de la cadena o al final ya que una cadena de caracteres en la cinta queda de esta manera #011001# o #abbacbb# (en la que luego podria venir otra cadena para verificar) imagino que en algún otro libro podría estar representado por lambda o algun otro caracter que represente vacío. [PD: se que la pregunta es de hace tiempo pero respondo para otros que puedan ver el video y tener la misma duda]
Alguien tiene el tercer punto?