AUTOMATAS Y LENGUAJES FORMALES

ANDRES MAURICIO RENDON OCAMPO

GRUPO :
301405_36

PROFESORA:
HELENA CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

caractersticas y propiedades de:
Lenguaje regular
El lenguaje regular es considerado como sencillo que se generar a partir de
lenguajes bsicos, con la aplicacin de operaciones de unin, concatenacin y
de kleene un numero finitas veces.

Hay dos tipos especiales de lenguajes regulares:

La coleccin de todas las cadenas de longitud finita de un alfabeto ( S* )

La coleccin de ninguna cadena, conocido como lenguaje vaco y se
representa con (hay que diferenciar el lenguaje con la cadena vaca { l} y
el lenguaje que no tiene cadenas {} El primero tiene una cadena y el
segundo no tiene ninguna).
caractersticas y propiedades de:
Expresin regular
La expresin regular representa todos los posibles lenguajes definidos sobre el
alfabeto , se basa a una serie de lenguajes primitivos y operadores de
composicin.
Lenguajes primitivos: el lenguaje vaco, el lenguaje formado
por la palabra vaca, y los lenguajes correspondientes a los
distintos smbolos del alfabeto.
Operadores de composicin: la unin, la concatenacin y el
cierre.
caractersticas y propiedades de:
Autmata finito
Es un modelo computacional que realiza clculos en forma automtica sobre una
entrada para producir una salida.

Esta conformado por el alfabeto, un conjunto de estados finito, una funcin de

transicin, un estado inicial y un conjunto de estados finales. El proceso del
autmata final determina un desplazamiento a otro que finalmente genera una
salida.

La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que

corresponden a los lenguajes formales ms simples segn la Jerarqua de
Chomsky.
caractersticas y propiedades de: Autmata finito
determinista Autmata finito no determinista

Un autmata finito no determinista posee al menos un estado q Q, tal que para un smbolo
a del alfabeto, existe ms de una transicin (q,a) posible.

En un AFND puede darse cualquiera de estos dos casos:

Que existan transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2;

Que existan transiciones del tipo (q, ), siendo q un estado no-final, o bien un estado final
pero con transiciones hacia otros estados.
Cuando se cumple el segundo caso, se dice que el autmata es un autmata finito no
determinista con transiciones vacas o transiciones (abreviado AFND-). Estas transiciones
permiten al autmata cambiar de estado sin procesar ningn smbolo de entrada.
Considrese una modificacin al modelo del autmata finito para permitirle ninguna, una o
ms transiciones de un estado sobre el mismo smbolo de entrada.