GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

o Autómatas finitos deterministas.
o Autómatas finitos deterministas y lenguajes.
o Autómatas finitos no deterministas.
o Equivalencia entre AFD y AFN.
o l-transiciones.
o Autómatas finitos y expresiones regulares.
o Propiedades de los lenguajes regulares.
3. Lenguajes Independientes del Contexto
o Gramáticas y lenguajes regulares.
o Gramáticas independientes del contexto.
o Arboles de derivación
o Simplificación de gramáticas independientes del contexto.
o Forma normal de Chomsky
o Propiedades de los lenguajes independientes del contexto.
o Autómatas de pila.
o Autómatas de pila y lenguajes independientes del contexto.
o Forma normal de Greibach.
4. Máquinas de Turing
o Definición de máquina de Turing.
o Máquinas de Turing como aceptadoras de lenguajes.
o Construcción de máquinas de Turing.
o Modificaciones de las máquinas de Turing.
o Máquina de Turing Universal.
5. Máquinas de Turing y Lenguajes.
o Lenguajes aceptados por máquinas de Turing.
o Lenguajes recursivos y lenguajes recursivamente enumerables.
o Gramáticas no restringidas y lenguajes recursivamente enumerables.
o Lenguajes sensibles al contexto y la jerarquía de Chomsky.
6. Resolubilidad
o El problema de la parada.
o El problema de correspondencia de Post.
o Irresolubilidad en lenguajes independientes del contexto.
7. Funciones mi - recursivas
o Funciones recursivas primitivas.
o Funciones división.
o Funciones parciales computables.
o Funciones mi – recursivas
o La tesis de Church-Turing.
145