Documentos de Académico
Documentos de Profesional
Documentos de Cultura
01 Alfabetos Palabras Lenguajes
01 Alfabetos Palabras Lenguajes
Operaciones
Resumen
Departamento de Informática
Universidad Técnica Federico Santa Marı́a
Contenido
Definiciones
Operaciones
Resumen
Introducción
Alfabeto
Definición
Un alfabeto es un conjunto finito de sı́mbolos atómicos.
Usaremos letras griegas mayúsculas para designar alfabetos:
Σ, Γ, ∆, . . .
Que los sı́mbolos sea atómicos significa que los consideraremos
como un todo, sin partes. Para nosotros, una letra como ((á)) es
solo eso, no una ((a)) con acento, es un sı́mbolo distinto.
Palabras
Definición
Una palabra es una secuencia finita de sı́mbolos de un alfabeto Σ.
Usaremos letras griegas minúsculas para designar palabras:
α, β, γ, . . . , ε, . . .
La palabra de largo cero (vacı́a) la designaremos ε. Cuidado,
algunos autores aún usan λ para designarla.
Note que siendo secuencias, pueden contener sı́mbolos repetidos, y
el orden de los mismos es relevante.
En inglés suelen llamarse string.
Lenguajes
Definición
Un lenguaje sobre el alfabeto Σ es un conjunto de palabras sobre
Σ.
Lenguajes
Potencias:
(
n ε n=0
α =
αn−1 · α n≥1
Reverso:
εR = ε
aα = αR a α ∈ Σ∗ , a ∈ Σ
Algunas propiedades:
I |ε| = 0
I |αβ| = |α| + |β|
I |αR | = |α|
I α·ε=ε·α=α
I En general, α · β =
6 β·α
R
I (αβ) = β α R R
LR = {αR : α ∈ L}
Algunos ejemplos:
L0 = {ε}
L1 = L0 · L
= {ε} · L
=L
= {a, ab}
L2 = {aa, aab, aba, abab}
L3 = {aaa, aaab, aaba, aabab, abaa, abaab, ababa, ababab}
Estrella de Kleene:
L∗ = L0 ∪ L1 ∪ L2 ∪ · · ·
= {ε} ∪ {a, ab} ∪ {aa, aab, aba, abab} ∪ · · ·
= {ε, a, ab, aa, aab, aba, abab, aa, aab, aba, abab, . . . }
L+ = L1 ∪ L2 ∪ · · ·
= {a, ab, aa, aab, aba, abab, aa, aab, aba, abab, . . . }
Note que:
=∅ = {ε}
Algunas propiedades:
I L|L=L
I L1 | L2 = L2 | L1
I L1 | (L2 | L3 ) = (L1 | L2 ) | L3
I ∅|L=L|∅=L
I {ε} · L = L · {ε} = L
I ∅·L=L·∅=∅
I L1 · (L2 · L3 ) = (L1 · L2 ) · L3
I (L1 | L2 ) · L3 = L1 · L3 | L2 · L3 y L1 · (L2 | L3 ) = L1 · L2 | L1 · L3
I {ε} | L+ = L∗
En general, es L1 · L2 6= L2 · L1 .
Ln 6= {αn : α ∈ L}
Notación
Resumen