Autmatas y Lenguajes Formales

Unidad 1

Representar informacin a travs del uso de grafos

Terminologa bsica

Aplicacin en mquinas de estado finito

Unidad 2

Manejar la teora de autmatas finitos y sus relaciones entre s y con lenguajes de programacin

Definiciones bsicas

Autmatas finitos determinsticos

Autmatas finitos no determinsticos

AFND con transiciones

Equivalencia entre ellos

Unidad 3

Conocer, utilizar, disear y manipular expresiones regulares

Operaciones de concatenacin y cerradura sobre conjunto de cadenas

Definicin de expresiones regulares

Autmatas finitos

Lenguajes y expresiones regulares

Unidad 4

Conocer, utilizar y disear gramticas de libre contexto

Gramticas regulares y gramticas libres de contexto

rboles de derivacin

Autmatas con pila

Equivalencia entre gramticas y autmatas con pila

Unidad 5

Simplificar y normalizar gramticas libres de contexto

Simplificacin de gramticas

Formal normal de Chomsky

Unidad 6

Conocer la teora bsica de la mquina de Turing y su relacin con la computacin

Modelo de Turing de una sola cinta

Computo con mquinas de Turing transformacin y anlisis de cadenas