ESCUELA POLITÉCNICA NACIONALFUNDAMENTOS DE CIENCIAS DE LA
COMPUTACIÓN
INTEGRANTES
CISNEROS EVELYN LÓPEZ BYRON MOREANO ANITA
LENGUAJES REGULARES
LENGUAJE REGULAR
Es un tipo de lenguaje formal( lenguaje cuyos símbolos primitivos y sus reglas están formalmente especificados)
que satisface las siguientes PROPIEDADES:
Los LENGUAJES RGULARES son lenguajes mas sencillos porque se generan a partir de lenguajes básicos con la aplicación de:
Unión (A U B)Concatenación(A . B)estrella de Kleene ( A*)
Puede ser reconocido por:un autómata finito deterministaun autómata finito no deterministaUn autómata de pila un autómata finito alternoUna máquina de Turing de solo lectura
Es generado por:Una gramática regular una gramática de prefijos
Es descrito por:Una expresión regular
Lenguajes regulares sobre un alfabeto
Expresiones Regulares (ER)
Autómatas Finitos (AF)
Expresiones Regulares
REPRESENTAN lenguajes regulares y su propósito es simplificar la escritura de los mismos.
Definición recursiva sobre un alfabeto ∑ dado.
Expresiones regulares básicas:
Si R y S son expresiones regulares sobre alfabeto ∑, también lo son:
Concatenar (RS).- unir dos o más cadenas, es decir unir dos o más palabras(cadenas de letras). Generalmente se unen con un símbolo "+".
Ejemplo: nombre + apellido:Dónde el valor del nombre = María yel valor de apellido = PérezConcatena el valor del nombre con el apellido.
Estrella de Kleene
Ejemplo aplicada a un carácter:
{"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",...}
Autómatas finitos
Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.
La finalidad de los autómatas finitos es la de reconocer lenguajes regulares.
Definición formal
Los Autómatas Finitos (AF) son de dos tipos:
Deterministas (AFD):
No Deterministas (AFND):
Deterministas (AFD)Para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe siempre a lo más una transición posible desde ese estado y con ese símbolo.
Se representa mediante:Diagramas de transición Tablas de transición
No Deterministas (AFND):A diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈Q, tal que para un símbolo a Σ del alfabeto, existe más de una ∈transición δ(q,a) posible.
Referencias
http://es.wikipedia.org/wiki/Lenguaje_regularhttp://galia.fc.uaslp.mx/~
medellin/AcetTa/LenguajesRegulares.ppthttp://www.virtual.unal.edu.co/cursos/ciencias/2001
018/lecciones/PDFs/Cap1/Cap1s13.pdfhttp://www.virtual.unal.edu.co/cursos/ciencias/2001
018/lecciones/PDFs/Cap1/Cap1s14.pdfhttp://automatasylenguajesformales.wordpress.co
m/finitos-deterministas/
Top Related