SUMARIO DE CONTENIDOS

Unidad 01Unidad 01 Gramáticas Formales y Lenguajes Formales 1.1 Teoría de Conjuntos

1.2 Teoría de Grafos 1.3 Lenguajes Formales 1.4 Operaciones con lenguajes 1.5 Gramáticas Formales 1.6 Notación de Backus Naur 1.7 La Jerarquía de Chomsky

Unidad 02Gramáticas Regulares, Lenguajes Regulares y Autómatas Finitos

2.1 Gramáticas Regulares 2.2 Autómatas Finitos 2.3 Modelado de Sistemas Discretos 2.4 Autómatas Finitos Deterministicos y Autómatas Finitos No Deterministicos 2.5 Autómatas con Transiciones Lambda 2.6 Expresiones Regulares 2.7 Minimización de un Autómata 2.8 Conversión de Autómatas No Deterministicos a Autómatas

Deterministicos 2.9 Teorema de Kleene y el Lema de Arden 2.10 Propiedades de los Lenguajes Regulares 2.11 Máquinas de Moore 2.12 Máquinas de Mealy

Unidad 03Gramáticas Libres de Contexto, Lenguajes Libres del Contexto y Autómatas de Pila Gramáticas Libres del Contexto y Lenguajes Libres del Contexto. Ambigüedad en Gramáticas Autómatas de Pila y su Funcionamiento. Formas Normales: Chomsky, Greibach Lema del Bombeo Árboles de Derivación Aplicaciones de los Autómatas Pila.

Unidad 04Gramáticas No Restringidas, Lenguajes Recursivamente Numerables y Máquinas De Turing

Gramáticas No Restringidas Lenguajes Recursivamente Numerables Máquinas de Turing y su Funcionamiento Variantes de la Máquina de Turing Problemas Algorítmicamente Irresolubles Problema de Post Máquina de Turing en la Jerarquía de Chomsky