ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE CIENCIAS DE LA COMPUTACIN

LENGUAJES REGULARES
INTEGRANTES

CISNEROS EVELYN LPEZ BYRON MOREANO ANITA

LENGUAJE REGULAR Es un tipo de lenguaje formal( lenguaje cuyos smbolos primitivos y sus reglas estn formalmente especificados) que satisface las siguientes PROPIEDADES:

Los LENGUAJES RGULARES son lenguajes mas sencillos porque se generan a partir de lenguajes bsicos con la aplicacin de:

Unin (A U B) Concatenacin(A . B) estrella de Kleene ( A*)

Puede ser reconocido por: un autmata finito determinista un autmata finito no determinista Un autmata de pila un autmata finito alterno Una mquina de Turing de solo lectura Es generado por: Una gramtica regular una gramtica de prefijos Es descrito por: Una expresin regular

Lenguajes regulares sobre un alfabeto

Expresiones Regulares (ER)

Autmatas Finitos (AF)

Expresiones Regulares
REPRESENTAN lenguajes regulares y su propsito es simplificar la escritura de los mismos.

Definicin recursiva sobre un alfabeto dado.

 Expresiones regulares bsicas:

Si R y S son expresiones regulares sobre alfabeto , tambin lo son:

Concatenar (RS).- unir dos o ms cadenas, es decir unir dos o ms palabras(cadenas de letras). Generalmente se unen con un smbolo "+".
Ejemplo: nombre + apellido: Dnde el valor del nombre = Mara y el valor de apellido = Prez Concatena el valor del nombre con el apellido.

Estrella de Kleene
Ejemplo aplicada a un carcter:

{"a"}* = {, "a", "aa", "aaa", "aaaa", "aaaaa", "aaaaaa",...}

Ejemplo aplicada a un conjunto de cadenas:

{"ab", "c"}* = {, "ab", "c", "abab", "abc", "cab", "cc", "ababab", "ababc", "abcab", "abcc", "cabab", "cabc", "ccab", "ccc",...}
Ejemplo aplicada a un conjunto de caracteres:

{'a', 'b', 'c'}* = {, "a", "b", "c", "aa", "ab", "ac", "ba", "bb", "bc",...}

Un autmata finito (AF) o mquina de estado finito es un modelo computacional que realiza cmputos en forma automtica sobre una entrada para producir una salida.

Autmatas finitos

La finalidad de los autmatas finitos es la de reconocer lenguajes regulares.

Definicin formal

Los Autmatas Finitos (AF) son de dos tipos:

Deterministas (AFD): No Deterministas (AFND):

Deterministas (AFD)
Para cada estado en que se encuentre el autmata, y con cualquier smbolo del alfabeto ledo, existe siempre a lo ms una transicin posible desde ese estado y con ese smbolo.

Se representa mediante: Diagramas de transicin Tablas de transicin

No Deterministas (AFND):
A diferencia de los autmatas finitos deterministas (AFD), posee al menos un estado q Q, tal que para un smbolo a del alfabeto, existe ms de una transicin (q,a) posible.

Referencias
http://es.wikipedia.org/wiki/Lenguaje_regular http://galia.fc.uaslp.mx/~medellin/AcetTa/Lenguaje sRegulares.ppt http://www.virtual.unal.edu.co/cursos/ciencias/2001 018/lecciones/PDFs/Cap1/Cap1s13.pdf http://www.virtual.unal.edu.co/cursos/ciencias/2001 018/lecciones/PDFs/Cap1/Cap1s14.pdf http://automatasylenguajesformales.wordpress.co m/finitos-deterministas/