Teoría de Lenguajes

Segunda parte del material de apoyo para el uso de autómatas finitos como reconocedor de lenguajes

Ejemplo de demostración por inducción completa que un lenguaje es reconocido por un autómata finito (L = L(M))

Ejemplo de aplicación del Análisis de Kleene para hallar una expresión regular que genere el lenguaje aceptado por un autómata finito determinista. Se asume que el estudiante ya estudió los enunciados teóricos de todos los resultados aquí aplicados.

Método de las ecuaciones para el cálculo de expresiones regulares asociadas a las clases de RM.

Ejercicio en que dado un lenguaje regular L a partir de un autómata finito no determinista con transiciones épsilon, obtiene el autómata finito mínimo y expresa mediante expresiones regulares, las clases de RL.

Material de apoyo para el uso de máquinas con salida.

Material de apoyo para el uso de autómatas finitos de 2 cintas.