Alfabetos, palabras, Lenguajes y

autmatas.
Clase # 2 Compiladores e
Interpretes
Luis Ochoa
ziul1979@gmail.com

Repaso General
Conjuntos: Un conjunto como se puede ver a grandes rasgos
como una coleccin de individuos u objetos . Los conjuntos se
pueden expresar de dos maneras:

En extensin, lo cual quiere decir que citamos
explcitamente cada uno de sus elementos, como en
el conjunto {1, 3, 5} que contiene exactamente los
nmeros 1, 3 y 5.

En intencin, dando una descripcin precisa de
La notacin a B
los elementos que forman parte del conjunto, en
significa que a es
elemento o est
vez de citarlos explcitamente. Por ejemplo, el
contenido en el
conjunto B; por
conjunto del punto anterior puede ser visto como:
Ejemplo:
{i N | impar(i), i < 6}
{2, 3} {1, {2, 3}, 4}
donde se supone que los nmeros impares
cumplen la condicin impar(i).
Para indicar que a no
est en B se escribe
a B.

Repaso General
El tamao de un conjunto es el nmero de elementos que contiene,
y se representa como |A| para un conjunto A. Por ejemplo, el
tamao de {a, b, c} es 3, y el tamao del conjunto vaci es cero.
Aunque existen conjuntos con tamaos no muy claros.
Dos conjuntos A y B son iguales, A = B, si y slo si tienen los mismos
elementos, esto es, x A si x B. Por ejemplo {1, {2, 3}} = {{3,
2}, 1} vemos que en los conjuntos el orden de los elementos es
irrelevante.
Se supone que en los conjuntos no hay repeticiones de elementos, y
que cada elemento del conjunto es distinto de todos los otros
elementos.
La notacin A C B significa que el conjunto A est contenido en el
conjunto B, o ms tcnicamente, que A es subconjunto de B. Por
ejemplo, el conjunto {a, c} es subconjunto de {a, b, c}, indicado
como {a, c} C {a, b, c}. En otras palabras, A C B cuando siempre
que x A, tenemos tambin x B. Obsrvese que de acuerdo con
esta definicin, A A para cualquier conjunto A: todo conjunto es
subconjunto de s mismo.

Repaso General
Para indicar que un subconjunto contiene menos elementos que otro, es
decir, que es un subconjunto propio de ste, se escribe A C B. Por
ejemplo, {a, c} C {a, b, c}. Claramente, A = B si A C B y B C A.
Obsrvese tambin que si A C B, entonces |A| |B|, y si A C B,
entonces |A| < |B|.
Operaciones con conjuntos:
Unin: A U B contiene los elementos del conjunto A y tambin los
del conjunto B, es decir, {x | x A o x B}. La unin de conjuntos es
conmutativa.
Interseccin: A B contiene los elementos que pertenecen
simultneamente al conjunto A y al conjunto B, es decir, A B = {x |
x A y x B}. Por ejemplo, {1, 2, 3} {3, 4} = {3}.Es conmutativa y
asociativa.
Complemento: Dado un universo (ejemplo nmeros naturales),
contiene entonces el complemento del conjunto contiene los
elementos del universo que no estn en el conjunto. Ejemplo:
U=nmeros naturales A= {2,4,6}
Ac = {1,3,5}
Producto Cartesiano: de dos conjuntos, A B, es el conjunto de
pares ordenados (a, b) tales que a A y 2 B. Por ejemplo,
{1, 2} {3, 4, 5} = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)}
El tamao de AB es |A| multiplicado por |B|.

Repaso General
Se llama relacin a todo subconjunto de un producto
cartesiano; por ejemplo la relacin contiene los pares de
nmeros naturales tales que el primer componente es menor
o igual al segundo, esto es, = {(1, 1), (1, 2), (1, 3), (2, 3), . . .}
o relacin x es padre de y, siendo x y y conjuntos de
personas.
Un caso particular de las relaciones son las funciones, que
son relaciones en que no hay dos pares ordenados que tengan
el mismo primer componente. Es decir, los pares ordenados
asocian a cada primer componente un nico segundo
componente. Por ejemplo, la relacin {(1, 2), (2, 3), (1, 3)} no
es una funcin, pero {(1, 2), (2, 3), (3, 3)} s lo es. Tomando
como ejemplo las familias, la relacin de hermanos no es una
funcin, pero la relacin de cada quien con su padre s lo es
(cada quien tiene a lo ms un padre).

Repaso General
Adems de los conjuntos finitos ( con un
nmero de elementos determinado ) tambin
puede haber conjuntos infinitos, cuyo tamao no
puede expresarse con un nmero; un ejemplo es
el conjunto de los nmeros naturales N = {1, 2,
3, . . .}. An a estos conjuntos pueden aplicarse
todas las operaciones antes descritas.

Conceptos
Alfabeto: Conjunto finito y no vaci cuyos
elementos se denominan smbolos. Se designa
normalmente con las letras: o
Ejemplos:
{0,1}
{a,b,c,x,y,z}
{0,1,2,3,4,5,6,7,8,9}
{a,b}

Conceptos
Palabra: es una secuencia finita de smbolos de un alfabeto,
las mismas se pueden crear especificando un alfabeto
determinado.
Ejemplos:
Si el alfabeto es {a,b}:
aba, bab, a, b, bbbbabababababababababababababbaba

Si el alfabeto {0,1}:
0,1,01,11,10,

Existe una palabra especial que representa una secuencia vaca

de smbolos, y a menudo se llama la palabra vaca, y se
representa con la letra griega

Subpalabras, prefijos y sufijos

Subpalabras: subsecuencias de smbolos consecutivos de una

palabra, a menudo se usan las palabras factor o infijo.

Ejemplo:
La palabra bba contiene las siguientes subpalabras:

{,a,b,bb,ba,bba}
es importante las palabras en negritas son tambin consideradas subpalabras
impropias, las dems son subpalabras propias.

Prefijos: subpalabras al principio de una palabra.

Sufijos: subpalabras al final de una palabra.
Nota: La palabra vaca y entera se consideran sufijos y prefijos de cualquier
palabra.

Ejemplo:
Los prefijos de la palabra bbaab son {,b,bb,bba,bbaa,bbaab} se observan
los prefijos propios en azul
Los sufijos son {,b,ab,aab,baab,bbaab} se observan los sufijos propios en
azul

Lenguaje
Se considera un lenguaje como un conjunto de palabras
sobre un alfabeto determinado.
Para designarlo normalmente se usa la letra L, con
subndices, si es necesario, y otras letras maysculas del
alfabeto latino.
Ejemplos sobre el alfabeto ={a,b}:
L1={a,aa,aaa,aaaa}
L2={a,b,aa,ab,ba,bb}
L3={aabb} con una sola palabra
L4={}
L5={}=
Pueden ser infinitos como:
El lenguaje sobre ={a,b} de todas las palabras que tengan
tantas letras a como letras b.
El lenguaje de todas las palabras sobre ={a,b,c}

Operaciones sobre palabras

 Concatenacin: construir una palabra nueva aadindole los smbolos

de la segunda tras los smbolos de la primera. Se representa con un punto

() normalmente, a veces si no es necesario se omite. Ejemplo:
aaa bbb = aaabbb
aba = aba
 Propiedades:




No es conmutativa w1 w2 w2 w1
Es asociativa (w1 w2) w3 = w1 (w2 w3)
Tiene como elemento neutro la palabra vaca ().

Se puede representar la concatenacin de una palabra consigo misma

usando la representacin exponencial, ejemplo:
www = w3
ww = w2
w0 =

Operaciones sobre palabras

La longitud: de una palabra se denota con |w| y representa el
nmero de smbolos de la misma. Ejemplo |101| = 3 | | = 0
El numero de ocurrencias: de una palabra se denota con |w|x y
representa el numero de ocurrencias del smbolo x en la palabra w.
Ejemplo:
| ababb |a = 2
| aaab |c = 0
La inversin de una palabra: consiste en escribir al revs una
palabra dada, y WR denota su inversa. Ejemplo (ab)R = ba
Cuando una palabra es igual a su inversa se dice es un palndromo.

Operaciones sobre lenguajes

Las operaciones conjuntistas:
La unin (U).
La interseccin ().
La complementacin (c).
La diferencia (-).
Propiedades bsicas:

(Lc)c = L
(L1 U L2)c = L1c L2c
(L1 L2)c = L1c U L2c
L1 - L2 = L1 L2c

Operaciones sobre lenguajes

La Concatenacin: la concatenacin de dos lenguajes L1 y
L2, es otro lenguaje formado por todas las palabras que se
pueden construir concatenando una palabra de L1 con L2.
L1 L2 = { x y | x L1 ^ y L2 }
Propiedades:
No es conmutativa.
Es Asociativa.
El elemento neutro es la palabra vaca .
No es distributiva, L1(L2 L3) L1L2 L1L3
Se puede representar la concatenacin de un lenguaje
consigo mismo usando la notacin exponencial.

Se pueden concatenar lenguajes con palabras.

Operaciones sobre lenguajes

 La inversin: no es mas que el lenguajes formado por los inversos de las
palabras de L, y se denota con LR
 Clausura, Cierre o Estrella de Kleene:

Su concepto es simple: El mismo es la unin de {} con el conjunto de todas las

palabras que se pueden formar concatenando entre s palabras de este mismo
lenguaje.
Por ejemplo si L={a,ba} entonces
L0={}
L1=L={a,ba}
L2={aa, aba, baa, baba}

As L*=L0 U L1 U L2 U
Si fuese L={b} o L={aa} como quedara la clausura?

Operaciones sobre lenguajes

Clausura, Cierre Positivo de Kleene:

Su concepto es simple: Es similar a L*, solo difiere en que no posee L0, a diferencia
de L* que si lo posee.
Por ejemplo si L={a,ba} entonces
L0={}
L1=L={a,ba}
L2={aa, aba, baa, baba}

As L+=L1 U L2 U
Si fuese L={b} o L={aa} como quedara la clausura?

Cierres de un alfabeto: * +
Dado que un alfabeto puede ser considerado un
lenguaje formado por palabras de un solo smbolo
(longitud 1), las operaciones de cierre de Kleene y
cierre positivo de Kleene tambin son aplicables a
los alfabetos.
* : Conjunto de todas las palabras sobre .
+ : Conjunto de todas las palabras sobre de
longitud no nula.

Definicin de Lenguaje
Para definir un lenguaje lo podemos hacer de dos
maneras, formal e informal:

Definicin de Lenguaje

Autmatas finitos
Qu es un autmata finito?
Autmatas finitos que reconocen lenguajes.
Cmo hay que imaginarse un autmata finito.

Autmatas finitos

Que es un autmata finito?

Es un modelo matemtico de los sistemas que posee las
siguientes caractersticas:
I. En cada momento el sistema se encuentra en un estado
y el conjunto total de estados en los que se puede
encontrar un sistema es finito.
II. Pueden responder a un nmero finito de
acontecimientos diferentes.
III. El estado en el que se encuentra el sistema resume toda
la informacin referente a todos los acontecimientos
pasados.
IV. La respuesta a un acontecimiento solo se determina en
funcin del acontecimiento y del estado en que se
encuentra el sistema.
Por ejemplo: Un interruptor mecnico biestable, un
ascensor, etc.

Autmatas finitos y los lenguajes

Aunque existen muchos usos para los autmatas
finitos, en nuestro caso particular, consideraremos
los autmatas finitos como:

Maquinas conceptuales reconocedoras de

lenguajes
Y por lo tanto la tarea realizada por los mismos
ser:

responder a la pregunta de si una palabra

pertenece a un lenguaje o no.

Como imaginamos un autmata finito, desde

nuestra perspectiva de reconocedores de
lenguajes:
La forma ms habitual de hacerlo consiste en
imaginar a los autmatas como mquinas que
constan de una unidad central con un cabezal
capaz de leer una cinta sobre la cual se han escrito,
de izquierda a derecha los smbolos de la palabra
que se intenta reconocer.
Inicialmente esta unidad se encuentra en un
estado inicial denominado (qo), y el cabezal est
totalmente a la izquierda de la cinta, sin haber
ledo todava ninguno de los smbolos que
contiene.

Como imaginarse un autmata finito.

Autmata en estado inicial:

Como imaginarse un autmata finito.

Cuando se lee un smbolo y se cambia de estado se
denomina transicin:

Representacin Grfica de los

Autmatas finitos
Esta es su representacin ms usada, y es la siguiente:
1.

Los estados son crculos que llevan dentro el nombre que

los identifica.

2.

El estado Inicial tendr una pequea flecha sobre este.

3.

Los estados aceptadores se indicaran con una pequea

cruz que sale de ellos.

4.

Las posibles transiciones, en funcin de los smbolos

ledos, se indicaran con flechas que van de un estado al otro
(o a s mismo). Las mismas estarn etiquetadas con el
smbolo que produce el cambio de estado.

Autmatas finitos Conceptos Bsicos.

Algunas otras cosas importantes a tener en cuenta son:
Los estados del autmata estn divididos en dos
categoras, los estados llamados aceptadores o
finales y los estados llamados no aceptadores.
Cuando el estado en que se encuentra la maquina es
aceptador, significa que la palabra que va desde el
inicio de la cinta hasta el smbolo actual se reconoce
como perteneciente al lenguaje.
Por el contrario, si al llegar al final de la palabra (y la
cinta) la mquina queda en un estado que no sea
aceptador, la palabra no pertenece al lenguaje.

Representacin Grfica de los

Autmatas finitos
Por ejemplo:

Procesamiento de una palabra por

parte de un autmata
Supongamos que en el autmata anterior se
procesa la palabra w=aabab:
1. Inicialmente se esta en el estado A.
2. Cuando se lee el smbolo a se evoluciona hacia el
estado B.
3. Cuando se lee el segundo smbolo a, se
evoluciona de B hasta B.
4. Cuando se lee el smbolo b, se evoluciona de B
hacia D.

Procesamiento de una palabra por

parte de un autmata
5. Cuando se lee el smbolo a, se evoluciona desde
D hasta B.
6. Finalmente el autmata lee el ltimo smbolo a,
y evoluciona desde B hacia D y debido a que ya
se proceso completamente la palabra y el
autmata que ubicado en un estado aceptador,
se puede decir que la palabra aabab ha sido
reconocida como perteneciente al lenguaje L.
Importante: No basta con que una palabra pase por
un estado aceptador para decir que el lenguaje la
acepto, ya que es necesario que el ltimo estado sea
aceptador.

Autmatas finitos y algoritmos

Cualquier autmata finito se puede
representar como un algoritmo, en
el cual independientemente de la
longitud de la palabra de entrada, la
cantidad de memoria que debe
consumirse para realizar el
procesamiento es siempre la
misma.
Ciclo
ejecucin
autmata

Su estructura bsica es:

Tipos de autmatas finitos

Autmatas Finitos Determinista (DFA,

Deterministic Finite Automate).
Autmatas Finitos No Determinista (NFA, NonDeterministic Finite Automate)