Expresiones regulares y autómatas

Lenguajes y Compiladores FISI 2017-II
GUIA II
EXPRESIONES REGULARES Y AUTOMATAS
Tres clases hay de ignorancia: no saber lo que debiera
saberse, saber mal lo que se sabe, y saber lo que no debiera
saberse.
Faccois de la Rochefoucald
(1613-1680) Escritor francés
Donald Ervin Knuth Nacido el 10 de enero de

1938, es uno de los más renombrados científicos de
la computación, profesor emérito de la Universidad
de Stanford. Es conocido como autor de múltiples
volúmenes: El arte de la programación de
computadoras, considerado como una referencia en
el área de ciencias de la computación, prácticamente
fue el creador del análisis de algoritmos y
contribuyo significativamente a varias ramas de
teoría de las ciencias de la computación
Epecificar una expresion regular

Objetivos
Especificar y construir Automatas finitos no

deterministas
Especificar y construir automatas finitos

deterministas
COMPILADORES
Para subsanar los problemas que presentan los interpretes se crean los
compiladores. El traductor de un lenguaje de programación de alto nivel a código
de maquina o ensamblador se conoce como compilador.
Augusto Cortez Vásquez Pag.1/26

PROGRAMA PROGRAMA
FUENTE OBJETO
ANALIZADOR ANALIZADOR GENERADOR
LEXICO SINTACTICO DE CODIGO
DIAGRAMA DE BLOQUE DE UN COMPILADOR

CODIGO DE MAQUINA DE UN COMPUTADOR
HIPOTETICO (IDEAL)ABSTRACTO.
PROGRAMA FUENTE
Alto Nivel
G.C.I.
CODIGO
INTERMEDIO
G.C.
CODIGO
MAQUINA
Ventajas de la máquina abstracta:
1 El compilador es independiente de la máquina destino y por tanto es más

transportable.
2 Las características del hardware destino están consideradas en el generador
del código.
3 Facilidad para llevar a cabo algunas estrategias de optimización
(Asignación de registros).

Desventajas:
El código de máquina generado a partir de C.I. por lo general será menos

eficiente que el código de máquina generado directamente debido al nivel
de traducción adicional.
Lenguajes de primera 001011

Generación
Lenguaje de segunda MOVE (A1), D1

Generación
lenguaje de tercera If a = b Then

generación
TRADUCTOR
Fuente Compilador Objeto
ENSAMBLADOR
lenguaje de
bajo nivel Ensamblador Objeto
ensamblador
COMPILADOR
lenguaje código
de compilador intermedio
alto nivel (ensamblador)
INTERPRETE
Lenguaje
de Interprete
alto nivel

no genera código objeto. Analiza y ejecuta directamente cada proposición

del código fuente.
Estructura de un compilador
Un compilador es un programa, en el que pueden distinguirse dos módulos

principales, cada uno de los cuales realiza una fase: fase de análisis en la que
descompone el código fuente y analiza su estructura, y la otra fase de síntesis en la
que integra los que descompuso en la fase previa, generando código objeto.
Fuente
Análisis lexicográfico
T
A Análisis Sintáctico
B
L
A Análisis Semántico
y de tipos
D
E
S Generación de código
I intermedio
M
B
O Generación de código
S
Código relocalizable
Enlazador
Objeto

Análisis del programa fuente
Estructura del
programa fuente
Pre procesador
Programa
fuente
Compilador
programa objeto
en leng.ensamblador
Ensamblador
código de maquina
relocalizable
Editor de enlace biblioteca de

Archivos objeto
relocalizables
código de maquina
absoluto

Ejemplo 1
Ejemplo de proceso de compilación
P I + V * 10
Analizador
lexicografico
Id1 Id2 + Id3 *10
Analizador Generador de
Sintáctico código intermedio
= T1 = Ent_real(10)
Id1 + T2 = Id3 * T1
T3 = Id2 + T2
Id2 * Id1 = T3
Id3 10
Optimizador
de código
intermedio
Analizador
semántico
T1 = Id3 * 10.0
Id1 = Id2 + T1
= Generator
de código
Id1 +
Id2 *
Id3 ent_real MOV Id3 , R2

MUL 10.0 , R2
10 MOV Id2 , R1
ADD R2 , R1
MOV R1 , Id1

Funciones basicas del compilador

Una proposición esta conformada por una cadena de caracteres, sin embargo por
razones de análisis el compilador agrupa los caracteres en secuencias llamadas
componentes léxicos (TOKENS). Estos componentes pueden suponerse como los
axiomas o fundamentos del lenguaje, pues vienen a ser los átomos o ladrillos con
lo que se construyen las frases de un lenguaje. Un componente léxico puede ser
una palabra clave, un nombre de variable (identificador), una constante numérica
entera o real, un operador aritmético etc. La tarea de examinar la proposición con
la finalidad de reconocer y clasificar los distintos componentes léxicos se conoce
como análisis léxico y la parte del compilador que realiza esa función analítica se
denomina analizador léxico(SCANNER). Después de analizar los componentes
léxicos, cada proposición del programa debe reconocerse como una frase del
lenguaje, como una declaración, proposición de asignación etc., es decir debe
haber un orden prescrito en los componentes léxicos que conforman la
proposición. Este proceso se denomina análisis sintáctico (PARSING), lo realiza
la parte del compilador denominada Analizador sintáctico (PARSER). El ultimo
paso en el proceso básico de traducción es la generación de código objeto.
El analizador léxico lee caracteres de un alfabeto y los agrupa en símbolos

(componentes léxicos) que son pasados al analizador sintáctico para la construcción
de las proposiciones. Cada componente léxico o símbolo construido por el
lexicográfico corresponde a una variable terminal de la gramática del lenguaje que
analizara el analizador sintáctico.
Los componentes léxicos se consideran como los fundamentos del lenguaje. La tarea
de examinar el programa fuente con el fin de reconocer y clasificar los distintos
componentes léxicos se conoce como Análisis léxico y la parte del compilador que
realiza esta función se denomina analizador léxico (Scanner) [2]
caracteres análisis símbolos análisis

léxico construidos sintáctico
Funciones características de un analizador léxico
a- Eliminar espacios, comentarios, etc.

b- Reconocer los componentes léxicos: identificadores, constantes
etc.
c- Generar un listado para el compilador.

AUTOMATAS
Un autómata finito es un modelo matemático que sirve como reconocedor de frases de un
lenguaje. Un AF se puede representar como un diagrama de transiciones –grafo dirigido-.
en el que todos los nodos son los estados y las aristas etiquetadas representan las funciones
de transición.
X  Y= (X)
EXPRESIONES REGULARES
Definición.- Una expresión regular es una regla de formación, que permite definir un
conjunto de secuencias llamada conjunto regular. A este conjunto también se le suele
llamar Lenguaje regular.
Si  es un alfabeto y O es un conjunto de operadores, podemos afirmar que una expresión

regular r esta constituida de operandos y operadores.
Cada operando puede ser:
- Una expresión regular simple: cuyos operandos son elementos del alfabeto
- Una expresión regular compuesta: cuyos operandos son otras expresiones

regulares.
Ejemplo 2
 = {a,b} O={*,/}
a*, a*b a/b son ejemplos de expresiones regulares

r =a* genera L(r)= { secuencias de 0 o mas a }
r =a*b genera L(r) ={ secuencias de 0 o mas as que termina con una b}
r=a / b genera L(r) = {a, b}
Si consideramos :
Si  = {L,D}, donde L: letra y D: Dígito
construimos la expresión regular r = L(L/D)*

que genera un conjunto de secuencias L(r)

L(r) = {Secuencia de Letra y Dígitos que empiezan con una
letra}
L(r) no es otra cosa que el conjunto de los identificadores del lenguaje Pascal.
Una expresión regular puede definirse como una composición de expresiones regulares.
Método para definición de construcciones regulares:
- Sea  : alfabeto
-r: genera L(r) = {}
-r=a genera L(r) = {a}
Si r, s son expresiones regulares con sus lenguajes L(r) y L(s) respectivamente entonces:
- (r) es una e.r. , genera L(r)

- (r)/(s) es una e.r. , genera L(r) U L(s)
- (r)(s) es una e.r. , genera L(r) . L(s)
- (r)* es una e.r. , genera (L(r))*
como ejemplo podemos ver que si  ={a,b}
r =  genera L(r) ={}

r = a genera L(r) ={a} , (r) genera el mismo L(r)
r = a/b genera L(a/b) = {a} U {b} = {a, b}
r = a* genera L(r) = {, a, aa, aaa, aaaa,...}
PROPIEDADES
Una expresión regular cumple las siguientes características:

r/s = s/r conmutatividad respecto a /
r/(s/t) = (r/s)/t asociatividad respecto a /
(rs)t = r(st) asociatividad respecto a la

concatenación.
r(s/t) = rs / rt distribución derecha de la

concatenación respecto de /.
(s/t) r = sr / tr Distribución por la izquierda de

La concatenación respecto de /.
 .r = r .  = r  es el idéntico de r
r** Idempotencia de r
una expresión regular puede representarse mediante un grafo, en el cual las aristas están
etiquetadas con los elementos del alfabeto.
Ejemplo 3
r = ab* r = a*b
b a
a b
A B A B
Ejemplo 4
r =0*(10*10*)* r =0*10*(10*10*)*
0 0 0 0
1 1
A B A B
1 1
Definiciones regulares

Partiendo del alfabeto S de símbolos básicos, pueden crearse una definición regular como
una secuencia de definiciones :
d1 r1 Para todo i , di es un nombre distinto

d2 r2 ri es una expresión regular sobre AU{d1, d2,...dn}
.
.
.
dn rn
Ejemplo 5
Si L = { ID / ID es un identificador de Pascal }
creamos una e.r. r t.q. L(r) = L
Una definición regular es :
L ───> A/B/...Z/a/.../z
D ───> 0/1/...9
ID ───> L(L/D)*
Ejemplo 6
Consideremos los siguientes lenguajes definidos algebraicamente
Construya la gramática
0m1n0m+n  m, n >0
1n+m0n0m  m, n >0
Todas las cadenas de ceros y unos con al menos dos ceros consecutivos
La expresión regular correspondiente es:
(0/1)*00(0/1) *
Todas las cadenas de ceros y unos que comienzan con uno y no tienen dos ceros
consecutivos
AUTÓMATAS FINITOS
Un Autómata finito es una maquina de estados finitos que reconoce secuencias
generados por una expresión regular.

formalmente un Autómata se define como un modelo matemático:

M =(E, , , 0 , F)
E : conjunto de estados
A : alfabeto de entrada ( alfabeto)
 : función de transición
0 : estado inicial
F : conjunto de estados de aceptación
: E x  E
el conjunto F contiene todos los estados que resultan de aplicar la función  a

algún estado, es decir :
F = { j / existe i donde ( i , a) = j
para algún a   }
Puede considerarse elemento de F a todos los estados de aceptación de la función ß de la

máquina de estados M.
r M(r)
El autómata M(R) puede ser determinista (AFD) o no determinista(AFND). M es

determinista cuando a partir de un estado puede pasarse a un solo estado con cada entrada
del alfabeto, además no tiene ninguna transición con  para cada estado.
Un Autómata es no determinista cuando se da el caso que existe mas de una transición

desde un estado con la misma entrada. Tanto los autómatas deterministas como los no
deterministas pueden reconocer conjuntos regulares generados por expresiones regulares o
por gramáticas regulares.
Ejemplo 7
sea r = (a/b)*ab expresión regular, construimos M(r) autómata no determinista, a
partir de la expresión regular.
a/b
a b
0 1 2
inicio
M(E, , , 0, F) E={0, 1, 2}  = { a, b} F = {2}

 a b
0 { o,1} {o}
1 - {2}
2 - -
puede verse que las entradas en la matriz  de una matriz no deterministas son conjuntos,
mientras que en un autómata deterministas son elementos de E.
Ejemplo 8
El siguiente autómata determinista corresponde a la expresión regular r = (a/b)*ab
b a
a b
0 1 2
a
b
M(E, , , 0, F)
E={0, 1, 2}  = { a, b} F = {2}
 a b
0 1 o
1 1 2
2 1 o
Nótese que las entradas en la matriz  corresponden a estados de M, no son conjuntos.

Esta es una diferencia fundamental entre los autómatas deterministas y los no deterministas.
Construcción de un autómata no determinista a partir de una expresión

regular
Cuando la expresión regular no es muy compleja es fácil construir su autómata
correspondiente, determinista o no, como se mostró en los ejemplos anteriores. Sin

embargo cuando la expresión es compleja se requiere de un método sistemático y modular

para construir el autómata.
Para construir un autómata a partir de una expresión regular utilizamos el método de

componentes, en el cual se construyen
Máquinas para cada subexpresion regular y se ensamblan en forma modular hasta obtener
el autómata final correspondiente a la expresión regular inicial.
Entrada : r ( expresión regular)
Salida : M ( autómata no determinista)
Método:
Se analiza la expresión regular r, descomponiéndola en subexpresiones regulares. En cada
caso se construye el autómata correspondiente, luego se acoplan en forma sistemática para
obtener el autómata M(r). M(r) es llamado Autómata generado por una expresión regular r.
Para construir M(r) se tiene en consideración los siguiente:
1 Sea r =  expresión regular, podemos construir M(r) :

i j M(r)
2 Sea r = a expresión regular, para algún a  

podemos construir M(r)
a
i j M(a)
3 Sea r y s son expresiones regulares, y sean M(r) y M(s)

sus maquinas asociadas:
i j M(r)
i j M(s)

Podemos construir M(r/s) : máquina que reconoce secuencias generadas por la

la expresión r/s.
M(r)
i j
 
i f
M(r)
 i j 
Método:
1 Se inserta un nuevo estado inicial y estado final i , f
2 El nuevo estado inicial se conecta con los estados iniciales de las maquinas.
3 Los estados finales de las maquinas se conectan con el nuevo estado final.
M(r.s) : máquina que reconoce secuencias generadas por la

La expresión r.s

 j f
i i M(S)
M(r)
Método:

2 El nuevo estado inicial se conecta con el estado inicial de la primera máquina.
3 El estado final y el estado inicial de la primera y segunda maquina
respectivamente se convierten en uno solo.
4 El estado final de la segunda maquina se conecta con el nuevo
estado final.
M(r*) : máquina que reconoce secuencias generadas por la expresión r*


 
i i j f
M(r)

Método:


2 El nuevo estado inicial se conecta con el estado inicial de la primera maquina.
3 El estado final de la segunda máquina se conecta con el nuevo estado final.
4 Se añade una arista desde el estado final hacia el estado inicial de la máquina
inicial, con la entrada .
Equivalencia entre Autómatas finitos y expresiones regulares
AF no
determinista
AF AF no determ.
Determinista con transic. 
Expresión
regular
Para toda expresión regular r, Existe M autómata finito no determinista con transiciones 
tal que L(r) = L(M)
Ejemplo 9
sea r = ab(a/b)* e.r. , construimos M(r) autómata no determinista, a partir de la expresión
regular.
sea a, b expresiones regulares, podemos construir M(a)

y M(b).
a
  M(a)
b
  M(b)
Construimos M((a/b)*)

a
   
 
   
  b  
Si unimos los tres autómatas obtenemos el autómata final:


a
   
a b  
     
  b  

Conversión de un Autómata no determinista a uno determinista

Se puede construir un autómata determinista a partir de uno no determinista construido por
el método de componentes.
Entrada M : autómata no determinista

Salida N : autómata determinista
Método
Construimos una nueva matriz de transiciones ’, en donde cada estado es un conjunto de
estados del autómata inicial. Para ello hacemos uso de tres funciones:
CERRADURA_(i) : conjunto de estados alcanzables desde el estado i , solamente con

transiciones 
CERRADURA_(A) : conjunto de estados alcanzables desde algún estado de A, solamente

con transiciones 

MUEVE(A,a) : conjunto de estados alcanzables desde algún estado de A, solamente con el

símbolo a.
Ejemplo 10
Consideremos la expresión regula r = (a/b)*ab. En los ejemplos 420 y 421 se mostraron los
autómatas no deterministas y determinista respectivamente. Presentaremos un nuevo autómata
no determinista , construido utilizando el método de componentes:

a
 2 3 
  a b
0 1 6 7 8 9
 4 b 5 
construiremos un autómata determinista equivalente.

Aplicamos el método descrito:
CERRADURA_(0) : {0,1,2,4,7}=A
MUEVE(A,a) :{3,8}
CERRADURA_( MUEVE(A,a)) = CERRADURA_( {3,8}) = {1,2,3,4,6,7,8} = B
MUEVE(A,b) :{5}
CERRADURA_( MUEVE(A,b)) = CERRADURA_( {5}) = {1,2,4,5,6,7} = C
MUEVE(B,a) :{3,8}
CERRADURA_( MUEVE(B,a)) = CERRADURA_( {3,8}) = {1,2,3,4,6,7,8} = B
MUEVE(B,b) :{5, 9}
CERRADURA_( MUEVE(B,b)) = CERRADURA_( {5,9}) ={1,2,4,5,6,7,9} = D
MUEVE(C,a) :{3,8}
CERRADURA_( MUEVE(C,a)) = CERRADURA_( {3,8}) = {1,2,3,4,6,7,8} = B
MUEVE(C,b) :{5}
CERRADURA_( MUEVE(C,b)) = CERRADURA_( {5}) = {1,2,4,5,6,7} = C
MUEVE(D,a) :{3,8}
CERRADURA_( MUEVE(D,a)) = CERRADURA_( {3,8}) = {1,2,3,4,6,7,8} = B

MUEVE(D,b) :{5}
CERRADURA_( MUEVE(D,b)) = CERRADURA_( {5}) ={1,2,4,5,6,7} = C
Mientas aparezcan nuevos estados se repetirá el proceso para los nuevos estados. En el
ejemplo aparecen los estados A, B, C, D.
Finalmente tenemos el autómata determinista equivalente, correspondiente e la expresión

regular r = (a/b)*ab
b
C
b b
a
a b
A B D
a a
M(E, A, , 0, F)
E={A, B, C, D} A = { a, b} F = {D}
 a b
A B C
B B D
C B C
D B C
El autómata finito es un modelo matemático que puede implementarse desde un simple

dispositivo electrónico (Flip-flop) hasta un computador completo. Tiene como función
primordial servir para describir el comportamiento de ciertos programas de computadoras
que no contienen hardware. Estos modelos son útiles en el estudio de la teoría de lenguajes
y compiladores y en otros sistemas que requieran de un análisis lexicográfico y sintáctico
de un lenguaje.
AUTÓMATAS COCIENTES
Si M es el autómata M(E, ,  , 0, F) E : conjunto de estados

 : conjunto finito de símbolos  : función siguiente
F : Conjunto de estados de aceptación o salida

0 : estado inicial , esta en el conjunto E
Trabajando sobre el conjunto de estados de M, podemos describir una relación R sobre E

de la siguiente forma :
Para todo p, q  E,
p R q si y solo si (p,x) R (q,x) para todo x  
Si esta relación se cumple , entonces decimos que R determina una relación de

congruencia y a su vez genera un Autómata cociente. Es decir si para un par de estados
equivalentes en R se produce siempre pares equivalentes de estados bajo cualquier x  S.
Esta relación R sobre E determina un conjunto cociente llamada Autómata cociente M/R,
donde el conjunto de estados es precisamente :
E/R = {[] /   E}
El autómata cociente será : M/R = (E/R, , ', [0] ,F/R)
E/R : conjunto de estados ( clases de equivalencia de E)

 : conjunto finito de símbolos
' : función siguiente, definida :
': E/R x  E/R
F/R : Conjunto de estados de aceptación

[0] : clase inicial , [0]  E/R
Ejemplo 11
Sea M(E, , , 0,F)

donde: E={0,1,2,3,4,5} = {a,b}
 a b
1 0 1 0 0 0
0 0 4 0 1 0 1 0 1
1 1 0 1 0 1 0 0 0
2 2 4 R = 0 1 0 1 0 1
3 5 2 0 0 0 0 1 0
4 4 3 0 1 0 1 0 1
5 3 2
Podemos verificar que R es de equivalencia por ser reflexiva, simétrica y transitiva.

Además se obtiene la partición de E determinado por R compuesta por las clases de
equivalencia sobre E
[0] = {0, 2} [1] = {1, 3, 5} [4] = {4}

Construimos M'(E/R, , ', 0,F)
E/R ={ [0], [1], [4] }

el alfabeto es el mismo:
Para todo p, q  [0], a   se tiene (p, a) R (q, a)

es decir que partiendo de algún estado de [0] y ocurre una
a   en la entrada, se llega a algún elemento de [0].
Lo mismo ocurre para las demás clases, cuando ocurre un a en la entrada. Sin embargo
cuando ocurre una b en la entrada, vemos que:
para todo p  [0] se tiene (p, b)  [4],
para todo p  [1] se tiene (p, b)  [0],
para todo p  [4] se tiene (p, b)  [1].

de acuerdo a esto ' es :
a a a
' a b
[0] [1] [4]
[0] [0] [4] b b
[1] [1] [0]
[4] [4] [1] b
Simplificación de un autómata finito
Para M =(E, , ,0 , F )
E : conjunto de estados
 : alfabeto de entrada
 : función de transición
0 : estado inicial
F : conjunto de estados de aceptación
:Ex E
Si definimos una relación de equivalencia R, de la forma siguiente:
Para todo a, b  E y W  *, decimos que:

a es compatible con b Si y solo si (a, w) y (b, w) pertenecen ambas a F o ninguna
pertenece a F.
R es reflexiva, simétrica y transitiva por tanto es de equivalencia.

Sea W  * , definimos w' = x . w (x concatenado con w)

Si a R b entonces (a, w') y (b, w') ambos pertenecen a F o ninguno pertenece a F
Pero:  (a, w') =  (a, x.w) =  ( (a, x),w)
 (b, w') =  (b, x.w) =  ( (b, x),w)
por tanto (a, x) y  (b, x) son compatibles en w
para todo W  *, es decir (a, x) R  (b, x)
luego si a, b  E y x  
a R b implica que (a, x) R (b, x)
por tanto R es de congruencia, y determina el autómata cociente M':

M'= M/R = (E/R, , ', o, F/R)
Podemos verificar que L(M) = L(M')
Sea w  L(M),
w es una secuencia del lenguaje, por tanto es reconocida por
el autómata M, es decir:
 (o ,w)  F , '([0 ],w) = [ (o ,w)]  F/R
por tanto w  L(M')
Sea w e L(M')
'([o ],w) = [ (o ,w)]  F/R
esto es para algún a  E se cumple que a R (o, w)
entonces a es compatible con (o, w) en w' para w'  *
Minimización del número de estados

Para reducir el numero de estados de un autómata se construye un nuevo autómata
cuyos estados resultan de particionar sucesivamente el conjuntos de estados de la maquina
inicial hasta obtener una partición que tengan transiciones de estados de un grupo hacia
estados del mismo grupo.
Algoritmo
Entrada : M (autómata determinista)

Salida : Ms (autómata determinista simplificado)
Método :
1 Se parte el conjunto E en dos grupos : estados finales, y estados no finales P(E) = {F,E-F}

2 Para cada grupo G de P(E) , hallar una partición P(G), de tal forma que dos estados
están en el mismo subgrupo, si para todos los símbolos del alfabeto, tienen transiciones
hacia el mismo subgrupo.
3 Repetir 1 y 2 hasta que se tengan grupos que ya no se puedan partir.
Al final se tendrá una partición, en el que cada grupo ya no se pueda subdividir. Los
elementos de esta partición son las clases de equivalencia de E. Estas clases se consideraran
como los estados de la maquina simplificada.
Ejemplo 12
Consideremos el autómata no determinista construido en el ejemplo 10, y consideremos su

autómata determinista obtenido a partir de el.
b
C
b b
a
a b
A B D
a a
M(E, A, , 0, F)
E={A, B, C, D} A = { a, b} F = {D}
 a b
A B C
B B D
C B C
D B C
Aplicando el método de simplificación:
Hallamos una partición de E , en dos conjuntos: los estados finales y los estados no finales:
E = {{D}{A,B,C}}
Hallamos una partición del conjunto {A,B,C}

E = {{D},{A,C},{B}}

Nótese que :
- Estando en el estado D, con una a, se pasa a B y con una b se pasa a C.
- Estando en el estado B, con una a, se queda en el estado B, y con una b se pasa al

estado D.
- Estando en los estados A-C, con una a se pasa al estado B, y con una b se
queda en el estado A-C
Luego la maquina simplificada, tiene como estados a las clases E ={[A],[B],[D]}
Donde [A]={A,C} ,[B]={B} y [D]={D}
La máquina simplificada es la siguiente:
b a
a b
[A] [B] [D]
a
b
M(E, , , 0, F)
E={[A], [B], [D]}  = { a, b} F = {[D]}
 a b
[A] [B] [A]

[B] [B] [D]
[D] [B] [A]
esta máquina es la misma que se construyó inicialmente en el ejemplo 10
Construcción de una gramática a partir de una

expresión regular
Sea r expresión regular , podemos construir M(r) autómata que reconoce secuencias
generadas por r, es decir L( r) = L(M)
M se define formalmente como: M = (E, , , o, F)

A partir de M podemos construir la gramática

G(VN, VT, S, P), tal que:
L(G) = L (M) = L( r)
Método 1 :
Paso 1: hacemos VT =  símbolos terminales

VN = E símbolos no terminales
S = 0 axioma o símbolo inicial
Paso 2: si se cumple en la matriz de transición que
 (i, a) = j para algún a  

entonces construimos la regla de producción
p : i aj
i  F ( i es estado final )

p : i 
Método 2 :
Se cumplen los Paso 1 y Paso 2 del método 1

y añadimos un nuevo paso 3:
 (i, a)  F , para algún a  

p : i a
la gramática construida por el método 2 no posee producciones

.
EJERCICIOS PROPUESTOS
1 Defina la expresión regular para
a. El conjunto de frases de ceros y unos que inician con uno
b. Conjunto de frases que inician con 1 y nunca hay dos a consecutivas

c. El conjunto de ceros y unos cuyo número de unos es múltiplo de tres

d. El conjunto de números decimales en binario múltiplos de tres
2 Defina tres conjuntos regulares en forma algebraica y en forma regular (expresión

regular)
3 De un ejemplo de una expresión regular no trivial sobre un alfabeto
a) Construya el autómata no determinista N.

b) A partir de N Construya el autómata determinista D
c) Reduzca el autómata D
d) Construya la gramática a partir de R
4 Descríba la sintaxis para
a) L = {w / w es una formula del calculo proposicional}

b) L = {w / w es una expresión aritmética}
REFERENCIAS BIBLIOGRAFICAS
[AHO 2013] Aho A., Sethi R.., Ullman J. - “Compiladores, Principios, Técnicas y herramientas”. Adisson-Wesley. 2013.
Wilmington Delaware EUA
[BROOKSHEAR 1989] Brookshear J. “Teoría de la computación, lenguajes formales, autómatas y complejidad”. Adisson-
Wesley. 1989. Wilmington Delaware EUA
[CORTEZ 2013] Augusto Cortez Vásquez. “Lenguajes y traductores”. UCSS Lima Perú 2013 ISBN 978-612-4030-50-5
[CORTEZ 2011] Augusto Cortez Vásquez. “Matemáticas Discretas”. Edit San Marcos Lima Perú ISBN 20260100808
[CORTEZ 2004] Teoría de la complejidad computacional y teoría de la computabilidad
Rev. RISI 1(1), 102-105 (2004) Facultad de Ingeniería de Sistemas e Informática Universidad
Nacional Mayor de San
15-0268 (impreso)
http://sisbib.unmsm.edu.pe/BibVirtualData/publicaciones/risi/N1_2004/a14.pdf
[CORTEZ 2013] Sistema de Aprendizaje de Patrones de Navegación Web Mediante Gramáticas

Probabilísticas de Hipertexto INGWE CUC ISSN 2382-4700, Vol. 11, Nº. 1, 2015, págs. 72-7
https://dialnet.unirioja.es/servlet/articulo?codigo=5178333
[GRASSMANN 1997] Grassmann W., Tremblay J. “Matemática discreta y lógica”. 1997. Prentice Hall Hispanoamericana
[HOPCROFT 1993] Hopcroft J., Ullman J. “Introducción a la teoría de autómatas, lenguajes y computación”. CECSA 1993 EUA
[KOLMAN 1989] Kolman B. Busby R. “Estructuras de matemáticas discretas para la computación”. 1989. Prentice Hall
Hispanoamericana
[PRATT 1998] Pratt, T. - Zelkowitz, M. “Lenguajes de programación, diseño e

Implementación”. 1998. Prentice Hall Hispanoamericana
[SETHI 1992] Sethi R. - “Lenguajes de programación, Conceptos y constructores”. Adisson-Wesley. 1992. Wilmington
Delaware EUA
[TEUFEL 1995] Teufel – Schmidt – Teufel “Compiladores Conceptos fundamentales”. Adisson-Wesley. 1995. Wilmington
Delaware EUA

Expresiones regulares y autómatas

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Expresiones regulares y autómatas

Uploaded by

Copyright:

Available Formats

Lenguajes y Compiladores FISI 2017-II

Donald Ervin Knuth Nacido el 10 de enero de

Epecificar una expresion regular

Especificar y construir Automatas finitos no

Especificar y construir automatas finitos

Augusto Cortez Vásquez Pag.1/26

ANALIZADOR ANALIZADOR GENERADOR

LEXICO SINTACTICO DE CODIGO

DIAGRAMA DE BLOQUE DE UN COMPILADOR

Ventajas de la máquina abstracta:

1 El compilador es independiente de la máquina destino y por tanto es más

Augusto Cortez Vásquez Pag.2/26

El código de máquina generado a partir de C.I. por lo general será menos

Lenguajes de primera 001011

Lenguaje de segunda MOVE (A1), D1

lenguaje de tercera If a = b Then

Fuente Compilador Objeto

Augusto Cortez Vásquez Pag.3/26

no genera código objeto. Analiza y ejecuta directamente cada proposición

Un compilador es un programa, en el que pueden distinguirse dos módulos

Augusto Cortez Vásquez Pag.4/26

Análisis del programa fuente

Editor de enlace biblioteca de

Augusto Cortez Vásquez Pag.5/26

Id1 Id2 + Id3 *10

Id3 ent_real MOV Id3 , R2

Augusto Cortez Vásquez Pag.6/26

Funciones basicas del compilador

El analizador léxico lee caracteres de un alfabeto y los agrupa en símbolos

caracteres análisis símbolos análisis

Funciones características de un analizador léxico

a- Eliminar espacios, comentarios, etc.

Augusto Cortez Vásquez Pag.7/26

Si  es un alfabeto y O es un conjunto de operadores, podemos afirmar que una expresión

Cada operando puede ser:

- Una expresión regular compuesta: cuyos operandos son otras expresiones

a*, a*b a/b son ejemplos de expresiones regulares

Si  = {L,D}, donde L: letra y D: Dígito

construimos la expresión regular r = L(L/D)*

Augusto Cortez Vásquez Pag.8/26

que genera un conjunto de secuencias L(r)

Método para definición de construcciones regulares:

-r: genera L(r) = {}

-r=a genera L(r) = {a}

- (r) es una e.r. , genera L(r)

como ejemplo podemos ver que si  ={a,b}

r =  genera L(r) ={}

Augusto Cortez Vásquez Pag.9/26

r/s = s/r conmutatividad respecto a /

r/(s/t) = (r/s)/t asociatividad respecto a /

(rs)t = r(st) asociatividad respecto a la

r(s/t) = rs / rt distribución derecha de la

(s/t) r = sr / tr Distribución por la izquierda de

Augusto Cortez Vásquez Pag.10/26

d1 r1 Para todo i , di es un nombre distinto

Una definición regular es :

La expresión regular correspondiente es:

Augusto Cortez Vásquez Pag.11/26

formalmente un Autómata se define como un modelo matemático:

el conjunto F contiene todos los estados que resultan de aplicar la función  a

Puede considerarse elemento de F a todos los estados de aceptación de la función ß de la

El autómata M(R) puede ser determinista (AFD) o no determinista(AFND). M es

a, ab a/b son ejemplos de expresiones regulares

M(r) : máquina que reconoce secuencias generadas por la expresión r