1.conceptos Basicos de Lenguajes

fi-unam l e n g u a j e s f o r m a l e s y a u t ó m a t a s
Alfabetos, cadenas y lenguajes

Luis M. Estrada
luism@unam.mx
7 de febrero de 2019
Agenda
• Conceptos básicos de Lenguajes
Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

2/32

3/32
Sı́mbolos
De manera general, se podrı́a definir a la compu-

tación como la manipulación formal de sı́mbolos.
Un sı́mbolo es una representación gráfica de objetos,

ideas o conceptos. El sı́mbolo es el tipo primitivo de
la teorı́a de lenguajes y por sı́ solo no tiene ningún
significado.

4/32
Alfabetos
Definición
Un alfabeto es un conjunto finito, no vacı́o de
sı́mbolos. Comúnmente usaremos la letra griega Σ
para denotar alfabetos y σ para denotar un
elemento arbitrario de Σ

5/32
Alfabetos
Definición
Un alfabeto es un conjunto finito, no vacı́o de
sı́mbolos. Comúnmente usaremos la letra griega Σ
para denotar alfabetos y σ para denotar un
elemento arbitrario de Σ
Ejemplos
• {0, 1} es el alfabeto formado por los sı́mbolos 1
y 0 y se le conoce como alfabeto binario
• {a, b, c, ..., z} es el alfabeto con las letras
latinas de la a a la z
6/32
Cadenas
Definición
Una cadena es una secuencia o sucesión de
sı́mbolos tomados de un alfabeto. Generalmente
usaremos las variables w , x, y y z para denotar
cadenas arbitrarias.

7/32
Cadenas
Definición
Una cadena es una secuencia o sucesión de
sı́mbolos tomados de un alfabeto. Generalmente
usaremos las variables w , x, y y z para denotar
cadenas arbitrarias.
Ejemplos
• 01101 puede ser una cadena sobre el alfabeto Σ
= {0, 1}
• aaaa es una cadena sobre el alfabeto {a, b} o
bien sobre el alfabeto {a}
8/32
Cadenas
Definición
La cadena vacı́a se define como la cadena que no
tiene sı́mbolos, y para denotarla usaremos la letra
griega λ.

9/32
Cadenas
Definición
La cadena vacı́a se define como la cadena que no
tiene sı́mbolos, y para denotarla usaremos la letra
griega λ.
Importante
Algunos autores utilizan la letra griega para
denotar la cadena vacı́a.

10/32
Conceptos básicos y notación
Notación
Denotaremos con Σ∗ conjunto de todas las cadenas
que se pueden formar sobre un alfabeto Σ

11/32
Notación
ejemplos
• Si Σ = {a}, Σ∗ = {λ, a, aa, aaa, aaa...}
• Si Σ = {0, 1}, Σ∗ = {λ, 0, 1, 00, 01, 10, 001, ...}

12/32

Notación
ejemplos
• Si Σ = {a}, Σ∗ = {λ, a, aa, aaa, aaa...}
• Si Σ = {0, 1}, Σ∗ = {λ, 0, 1, 00, 01, 10, 001, ...}
Importante
Σ∗ siempre es un conjunto infinito que contiene a la
cadena λ
13/32
Operaciones con cadenas

Concatenación
Si u y v son cadenas en Σ∗ , la concatenación de u y
v . denotada por uv es la cadena formada por una
copia de la cadena u seguida de una copia de la
cadena v
Ejemplo
Considere las cadenas u = abb y v = acc sobre el
alfabeto Σ = {a, b, c}
Entonces la concatenación de u y v es
uv = |{z}
abb |{z}
acc
u v
14/32
Definición
La longitud de una cadena x, denotada por |x| se
define como el número de sı́mbolos en x (contando
repeticiones)
Ejemplo
Si x = 011101 y z = 0111 entonces |x|=6 y |z|=4
La única cadena de longitud cero es λ, i.e. |λ |=0

15/32
Diremos que la cadena y es prefijo de una cadena

x sii existe una cadena z tal que x = yz
Ejemplos: abb es prefijo de abbaab
Nótese que λ es un prefijo de cualquier cadena.

16/32
Diremos que la cadena y es posfijo de una cadena

x sii existe una cadena z tal que x = zy
Ejemplos: aab es posfijo de abbaab
Nótese que λ es un prefijo de cualquier cadena.

17/32
Potencia de una cadena
Definición
Dada u ∈ Σ∗ y n ∈ N, descriptivamente definimos
la potencia de u, denotada por u n de la siguiente
forma:
u0 = λ
u n = uu · · · u}
| {z
n veces

18/32
Reversa de una cadena
Definición
Dada w = σ1 σ2 ...σn conσi ∈ Σ∗ , w R = σn σn − 1...σ1
w R se denomina la reversa de w o w reflejada:
Ejemplos
• Si w = abc w R = cba

19/32
Lenguajes
Definición
Dado un alfabeto Σ definimos un lenguaje como
cualquier subconjunto de Σ∗
Ejemplos
Dado el alfabeto Σ = {d, c} los siguientes son
lenguajes sobre Σ:
• {dc, ddd, cdc}
• {ccc, ccccc, ccccccc, ...}
• {c}
• {λ}
• ∅
20/32
Lenguajes
Es común especificar los lenguajes en notación
conjuntista: {w ∈ Σ∗ | w cumple cierta propiedad}
{w ∈ {0, 1}∗ | w tiene igual numero de 00 s y 10 s}
={ε, 01, 10, 0011, 1010, ...}
{w | w es un programa en C sintacticamente correcto}
O también:
{1n 0n | n ≥ 0}={ε, 10, 1100, 111000, ...}
{1n 0n | n es par }={ε, 1100, 11110000, ...}

21/32
Concatenación de lenguajes
Definición
Sean L1 y L2 dos lenguajes en Σ∗ . Definimos la
concatenación de L1 y L2 , denotada por L1 L2
como:
L1 L2 = {w1 w2 ∈ Σ∗ | w1 ∈ L1 y w2 ∈ L2 }
Ejemplo
• Si L1 = {0, 1, 00} y L2 = {1, 11}
L1 L2 = {01, 011, 11, 111, 001, 0011}
• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}

22/32
Potencias de un lenguaje
Definición
Sean L un lenguaje sobre Σ y un número natural n definimos
Ln (potencia n de L) como:
L0 = {λ}
Ln = LLL
| {z· · · L}
n veces
Ejemplos
Si L = {a, ba}
• L2 = LL = {a, ba}{a, ba} = {aa, aba, baa, baba}
• L3 = LLL = LL2 = {a, ba}{aa, aba, baa, baba} =

{aaa, aaba, abaa, ababa, baaa, baaba, babaa, bababa}
23/32
Cerradura de un lenguaje
Definición
Sean L un lenguaje sobre Σ, la cerradura de Kleene, denotada por
L∗ , se define como:
∞
[
∗
L = Li = L0 ∪ L1 ∪ L2 ∪ · · · ∪ Ln · · ·
i≥0
Ejemplos
• Si L = {a}
L∗ = {λ, a, aa, aaa, aaaa, ...}
• Si L = {a, ab}
L∗ = {λ, a, ab, aa, aab, aba, abab, ..., aaa, aab, aba, aabab, ...}
24/32
Unión de lenguajes
Definición
Sean L1 y L2 dos lenguajes en Σ∗ . Definimos la unión de L1 y L2 ,
denotada por L1 ∪L2 como:
L1 ∪L2 = {w ∈ Σ∗ | w ∈ L1 o w ∈ L2 }
Ejemplo
• Si L1 = {0, 1, 00} y L2 = {1, 00, 11, 101}
L1 ∪L2 = {0, 1, 00, 11, 101}
• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}
L1 ∪L2 = {0, 1, 00, 11, 000, 111, ...}

25/32
Intersección de lenguajes
Definición
Sean L1 y L2 dos lenguajes en Σ∗ . Definimos la intersección de L1
y L2 , denotada por L1 ∩L2 como:
L1 ∩L2 = {w ∈ Σ∗ | w ∈ L1 y w ∈ L2 }
Ejemplo
• Si L1 = {0, 1, 00} y L2 = {1, 11, 00, 101}
L1 ∩L2 = {1, 00}
• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}
L1 ∩L2 = {} = ∅
26/32
Reflexión o inversa de un lenguaje
Definición
Sean L un lenguaje sobre Σ. Definimos la reflexión de L, denotada
por LR como:
LR = {w R ∈ Σ∗ | w ∈ L}
Ejemplo
• Si L = {ai b j |i, j ≥ 1}
LR = {bj ai |i, j ≥ 1}

27/32
Lenguajes como problemas
En teorı́a de autómatas la clase de problemas que

trataremos de resolver será decidir si una cadena
pertenece o no a un lenguaje en particular. De
manera más precisa:
Si Σ es un alfabeto y L es un lenguaje sobre Σ, el

problema es:
Dada una cadena w en Σ∗ , decidir si w pertenece o

no a L

28/32
Jerarquı́a de Chomsky
El lingüista Noam Chomsky en los años 50’s propuso una jerarquı́a
de lenguajes que los clasifica de acuerdo a su complejidad de modo
que los lenguajes más complejos contienen a los más simples. A
esta jerarquı́a se le conoce como jerarquı́a de Chomsky.

29/32

30/32
Cada tipo de lenguaje está asociado a un tipo de gramática que lo
genera y un tipo de autómata capaz de procesarlo.

31/32
En las siguientes sesiones estudiaremos los los

lenguajes de la jerarquı́a de Chomsky ası́ como los
autómatas que pueden procesar dichos lenguajes,
comenzando por los más simples, los lenguajes
regulares y la máquina que los reconoce: los
autómatas finitos.

32/32

1.conceptos Basicos de Lenguajes

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1.conceptos Basicos de Lenguajes

Cargado por

Copyright:

Formatos disponibles

fi-unam l e n g u a j e s f o r m a l e s y a u t ó m a t a s

Alfabetos, cadenas y lenguajes

• Conceptos básicos de Lenguajes

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

De manera general, se podrı́a definir a la compu-

Un sı́mbolo es una representación gráfica de objetos,

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Conceptos básicos y notación

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Conceptos básicos y notación

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Conceptos básicos y notación

Operaciones con cadenas

Conceptos básicos y notación

La única cadena de longitud cero es λ, i.e. |λ |=0

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Operaciones con cadenas

Diremos que la cadena y es prefijo de una cadena

Ejemplos: abb es prefijo de abbaab

Nótese que λ es un prefijo de cualquier cadena.

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Operaciones con cadenas

Diremos que la cadena y es posfijo de una cadena

Ejemplos: aab es posfijo de abbaab

Nótese que λ es un prefijo de cualquier cadena.

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Potencia de una cadena

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Reversa de una cadena

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

{w | w es un programa en C sintacticamente correcto}

{1n 0n | n ≥ 0}={ε, 10, 1100, 111000, ...}

{1n 0n | n es par }={ε, 1100, 11110000, ...}

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

L1 L2 = {01, 011, 11, 111, 001, 0011}

• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}

• L3 = LLL = LL2 = {a, ba}{aa, aba, baa, baba} =

L1 ∪L2 = {0, 1, 00, 11, 101}

• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}

L1 ∪L2 = {0, 1, 00, 11, 000, 111, ...}

L1 ∩L2 = {1, 00}

• Si L1 = {0, 00, 000, ...} y L2 = {1, 11, 111, ...}

Reflexión o inversa de un lenguaje

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Lenguajes como problemas

En teorı́a de autómatas la clase de problemas que

Si Σ es un alfabeto y L es un lenguaje sobre Σ, el

Dada una cadena w en Σ∗ , decidir si w pertenece o

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

En las siguientes sesiones estudiaremos los los

Luis M. Estradaluism@unam.mx—Short title@—7 de febrero de 2019@

También podría gustarte