SlideShare una empresa de Scribd logo
1 de 12
ALFABETOS Y LENGUAJES
Curso de
Teoría del Autómata
Contenido
• Alfabetos, palabras y lenguajes
• Operaciones con cadenas
• Operaciones con lenguajes
Alfabetos, palabras y lenguajes
Un alfabeto es un conjunto no vacío y finito de símbolos. Si
Σ es un alfabeto, σ ∈ Σ denota un símbolo deΣ.
Una palabra es una secuencia finita de símbolos de un
determinado alfabeto. A menudo se le llama cadena. La
cadena vacía, denotada por ε, es una palabra sobre cualquier
alfabeto.
Un lenguaje es un conjunto de palabras definidas sobre un
alfabeto. El lenguaje compuesto por ninguna cadena se
denomina lenguaje vacío, y se denota por φ.
El lenguaje compuesto por todas las cadenas de un alfabeto Σ
se le llama cerradura de Σ o lenguaje universal sobre Σ y se
denota por Σ*
.
Operaciones con cadenas
La concatenación de dos cadenas w con z es la cadena que se
obtiene al añadir a la cadena w la cadena z. Se denota por wz o
w·z.
La potencia de una palabra w sobre un alfabeto se define para n
∈ N como:
w
n
ww n
n
n=



−
ε,
,
si = 0
si > 01
Operaciones con cadenas
Se dice que dos cadenas w y z son iguales si tienen la misma
longitud y los mismos símbolos en las mismas posiciones.
La igualdad se denota por w = z.
La nociones de prefijo y sufijo tienen los significados
habituales.
El prefijo propio es aquel que no es igual a la cadena original.
La cadena vacía ε es prefijo de cualquier cadena.
Operaciones con cadenas
Una cadena w es una subcadena u subpalabra de una cadena
z si existen las cadenas x e y para las cuales z = xwy.
La inversa o traspuesta de una palabra w es la imagen refleja
de w. La definición más precisa de inversa es:
w
w w
y a w=ay a y
I
I=
∈ ∈



,
, *
si =
si por tanto y
ε
Σ Σ
En general, (xI
)I
= x.
Operaciones con lenguajes
La concatenación de dos lenguajes A y B se define como A · B
= {w · x | w ∈ A y x ∈ B}.
Sea A un lenguaje sobre un alfabeto Σ. Definimos la potencia
de la siguiente manera
{ }A
n
A A n
n
n
=
=
⋅ ≥



−
ε ,
,
si
si
0
11
Operaciones con lenguajes
La unión e intersección se definen de manera similar a como
se hace con conjuntos.
Si A y B son lenguajes sobre un alfabeto Σ y todas las cadenas
de A pertenecen a B, entonces A es un sublenguaje de B.
Dos lenguajes son iguales si contienen las mismas cadenas.
Operaciones con lenguajes
Teorema 1. Sean A y B dos lenguajes sobre un alfabeto Σ. A
= B, si y solo si A ⊆ B y B ⊆ A.
Teorema 2. Dados los lenguajes A, B y C un alfabeto Σ. Se
cumple que:
1. A · (B ∪ C) = A · B ∪ A · C.
2. (B ∪ C) · A = B · A ∪ C · A.
La concatenación no es distributiva con respecto a la
intersección. Por ejemplo A = {a, ε}, B = {ε} y C = {a},
entonces A · B = {a, ε} y A · C = {a2
, a}, por tanto A · B ∩ A
· C = {a}. Por otro lado B ∩ C = ∅, con lo que A · (B ∩ C) =
∅.
Operaciones con lenguajes
La cerradura de Kleene o cerradura estrella sobre algún
alfabeto Σ, se define como . La cerradura
positiva se define como .
Se tiene los siguientes resultados.
Si A es un lenguaje sobre Σ, entonces An
⊆ Σ∗
, para todo n =
0, 1, 2, 3, … y por tanto A*
⊆ Σ∗
y A+
⊆ Σ+
. Y también A+
⊆
A∗
.
Finalmente ∅0
= {ε} y ∅n
= ∅ para todo n, entonces ∅*
= {ε}
y ∅+
= ∅.
A An
n
*
= =
∞
0
A An
n
+
=
∞
= 1
Operaciones con lenguajes
Definimos la diferencia de dos lenguajes A y B como A − B =
{x | x ∈ A y x ∉ B}.
El complemento de un lenguaje A sobre un alfabeto Σ se
define como
Teorema 3. A+
= A· A*
= A∗
· A
Demostración. Sea x ∈ A+
⇒ ⇒ para un k0
≥ 1,
se sigue que . Como ⇒
y por tanto
A A= −Σ*
x An
n
∈ =
∞
1
x Ak
∈ 0
A A Ak k0 0 1
= ⋅ −
x A Ak
∈ ⋅ −0 1
( )x A A A A A An
n
n
n
∈ ⋅ = ⋅ = ⋅=
∞
=
∞
0 0  *
Esto prueba que A+
⊆ A·A∗
.
La otra parte es muy similar.
Operaciones con lenguajes
El inverso de un lenguaje A es AI
= {xI
| x ∈ A}
Teorema 4. (A · B)I
= BI
· AI
.
Demostración. Sea x ∈ (AB)I
⇒ xI
∈ AB con lo que xI
= yz
para y ∈ A y z ∈ B. Por tanto x = (yz)I
= zI
· yI
. Pero yI
∈ AI
y zI
∈ BI
, por lo que x ∈ BI
AI
, lo cual prueba que (A · B)I
⊆ BI
· AI
.
A la inversa, si x ∈ BI
AI
, con lo que x = uw para u ∈ BI
y w ∈
AI
. Entonces xI
= (w · u)I
∈AB, con lo que xI
∈ AB y x ∈ (AB)I
, por tanto que BI
· AI
⊆ (A · B)I
.

Más contenido relacionado

La actualidad más candente

Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Osiris Mirerus
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regularesKenia Adams
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turingAnel Sosa
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formalesIsabel
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajesJean Bernard
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraAlexandraMolinaSanchez
 
Manuel torres mapa_mental
Manuel torres mapa_mentalManuel torres mapa_mental
Manuel torres mapa_mentalMrx Mirrorx
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador SintácticoPablo Guerra
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingJonathan Bastidas
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.LuiS YmAY
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesErivan Martinez Ovando
 
Estructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colasEstructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colasHuascar Génere
 

La actualidad más candente (20)

CODIGO DE HUFFMAN
CODIGO DE HUFFMANCODIGO DE HUFFMAN
CODIGO DE HUFFMAN
 
Transaccion
TransaccionTransaccion
Transaccion
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
 
Analisis lexico automatas i
Analisis lexico automatas iAnalisis lexico automatas i
Analisis lexico automatas i
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
Jerarquia de chomsky
Jerarquia de chomskyJerarquia de chomsky
Jerarquia de chomsky
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Automatas de pila
Automatas de pilaAutomatas de pila
Automatas de pila
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Trabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandraTrabajo de compiladores completo alexandra
Trabajo de compiladores completo alexandra
 
Manuel torres mapa_mental
Manuel torres mapa_mentalManuel torres mapa_mental
Manuel torres mapa_mental
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
Los lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turingLos lenguajes aceptados para una maquina de turing
Los lenguajes aceptados para una maquina de turing
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.
 
Teoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes FormalesTeoria de Automatas & Lenguajes Formales
Teoria de Automatas & Lenguajes Formales
 
Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Estructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colasEstructura de datos: lista, pilas y colas
Estructura de datos: lista, pilas y colas
 
Compiladores, Analisis Lexico, Tabla de Transiciones
Compiladores, Analisis Lexico, Tabla de TransicionesCompiladores, Analisis Lexico, Tabla de Transiciones
Compiladores, Analisis Lexico, Tabla de Transiciones
 

Similar a Teoría Autómata Lenguajes

Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptanersantana
 
Expresiones regularesfinal
Expresiones regularesfinalExpresiones regularesfinal
Expresiones regularesfinalNoel Gutierrez
 
Expresiones Regulares y Gramáticas
Expresiones Regulares y GramáticasExpresiones Regulares y Gramáticas
Expresiones Regulares y GramáticasPaolaNovas
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdfJeffreyagnz
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticasSantiago Ramirez
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticasRobin Pena
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasRaul
 
Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfKEILLIEDAILYNSICAJAC
 
Autómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAutómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAliciaSandovalCamacho
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018Edward Caceres
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...Hugo Alberto Rivera Diaz
 

Similar a Teoría Autómata Lenguajes (20)

Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. ppt
 
Expresiones regularesfinal
Expresiones regularesfinalExpresiones regularesfinal
Expresiones regularesfinal
 
Expresiones Regulares y Gramáticas
Expresiones Regulares y GramáticasExpresiones Regulares y Gramáticas
Expresiones Regulares y Gramáticas
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
lenguajes y_gramaticas
lenguajes y_gramaticaslenguajes y_gramaticas
lenguajes y_gramaticas
 
Lenguajes
LenguajesLenguajes
Lenguajes
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdf
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 
De palabras y lenguajes
De palabras y lenguajesDe palabras y lenguajes
De palabras y lenguajes
 
Teoria de lenguajes
Teoria de lenguajesTeoria de lenguajes
Teoria de lenguajes
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y Problemas
 
Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdf
 
Autómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAutómata finito no determinista e investigacion
Autómata finito no determinista e investigacion
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
Automatas
AutomatasAutomatas
Automatas
 
Fasciculo 5
Fasciculo 5Fasciculo 5
Fasciculo 5
 

Último

PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxinformacionasapespu
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.DaluiMonasterio
 
Movimientos Precursores de La Independencia en Venezuela
Movimientos Precursores de La Independencia en VenezuelaMovimientos Precursores de La Independencia en Venezuela
Movimientos Precursores de La Independencia en Venezuelacocuyelquemao
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSjlorentemartos
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 

Último (20)

PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.
 
Movimientos Precursores de La Independencia en Venezuela
Movimientos Precursores de La Independencia en VenezuelaMovimientos Precursores de La Independencia en Venezuela
Movimientos Precursores de La Independencia en Venezuela
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
Unidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDIUnidad 4 | Teorías de las Comunicación | MCDI
Unidad 4 | Teorías de las Comunicación | MCDI
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 

Teoría Autómata Lenguajes

  • 1. ALFABETOS Y LENGUAJES Curso de Teoría del Autómata
  • 2. Contenido • Alfabetos, palabras y lenguajes • Operaciones con cadenas • Operaciones con lenguajes
  • 3. Alfabetos, palabras y lenguajes Un alfabeto es un conjunto no vacío y finito de símbolos. Si Σ es un alfabeto, σ ∈ Σ denota un símbolo deΣ. Una palabra es una secuencia finita de símbolos de un determinado alfabeto. A menudo se le llama cadena. La cadena vacía, denotada por ε, es una palabra sobre cualquier alfabeto. Un lenguaje es un conjunto de palabras definidas sobre un alfabeto. El lenguaje compuesto por ninguna cadena se denomina lenguaje vacío, y se denota por φ. El lenguaje compuesto por todas las cadenas de un alfabeto Σ se le llama cerradura de Σ o lenguaje universal sobre Σ y se denota por Σ* .
  • 4. Operaciones con cadenas La concatenación de dos cadenas w con z es la cadena que se obtiene al añadir a la cadena w la cadena z. Se denota por wz o w·z. La potencia de una palabra w sobre un alfabeto se define para n ∈ N como: w n ww n n n=    − ε, , si = 0 si > 01
  • 5. Operaciones con cadenas Se dice que dos cadenas w y z son iguales si tienen la misma longitud y los mismos símbolos en las mismas posiciones. La igualdad se denota por w = z. La nociones de prefijo y sufijo tienen los significados habituales. El prefijo propio es aquel que no es igual a la cadena original. La cadena vacía ε es prefijo de cualquier cadena.
  • 6. Operaciones con cadenas Una cadena w es una subcadena u subpalabra de una cadena z si existen las cadenas x e y para las cuales z = xwy. La inversa o traspuesta de una palabra w es la imagen refleja de w. La definición más precisa de inversa es: w w w y a w=ay a y I I= ∈ ∈    , , * si = si por tanto y ε Σ Σ En general, (xI )I = x.
  • 7. Operaciones con lenguajes La concatenación de dos lenguajes A y B se define como A · B = {w · x | w ∈ A y x ∈ B}. Sea A un lenguaje sobre un alfabeto Σ. Definimos la potencia de la siguiente manera { }A n A A n n n = = ⋅ ≥    − ε , , si si 0 11
  • 8. Operaciones con lenguajes La unión e intersección se definen de manera similar a como se hace con conjuntos. Si A y B son lenguajes sobre un alfabeto Σ y todas las cadenas de A pertenecen a B, entonces A es un sublenguaje de B. Dos lenguajes son iguales si contienen las mismas cadenas.
  • 9. Operaciones con lenguajes Teorema 1. Sean A y B dos lenguajes sobre un alfabeto Σ. A = B, si y solo si A ⊆ B y B ⊆ A. Teorema 2. Dados los lenguajes A, B y C un alfabeto Σ. Se cumple que: 1. A · (B ∪ C) = A · B ∪ A · C. 2. (B ∪ C) · A = B · A ∪ C · A. La concatenación no es distributiva con respecto a la intersección. Por ejemplo A = {a, ε}, B = {ε} y C = {a}, entonces A · B = {a, ε} y A · C = {a2 , a}, por tanto A · B ∩ A · C = {a}. Por otro lado B ∩ C = ∅, con lo que A · (B ∩ C) = ∅.
  • 10. Operaciones con lenguajes La cerradura de Kleene o cerradura estrella sobre algún alfabeto Σ, se define como . La cerradura positiva se define como . Se tiene los siguientes resultados. Si A es un lenguaje sobre Σ, entonces An ⊆ Σ∗ , para todo n = 0, 1, 2, 3, … y por tanto A* ⊆ Σ∗ y A+ ⊆ Σ+ . Y también A+ ⊆ A∗ . Finalmente ∅0 = {ε} y ∅n = ∅ para todo n, entonces ∅* = {ε} y ∅+ = ∅. A An n * = = ∞ 0 A An n + = ∞ = 1
  • 11. Operaciones con lenguajes Definimos la diferencia de dos lenguajes A y B como A − B = {x | x ∈ A y x ∉ B}. El complemento de un lenguaje A sobre un alfabeto Σ se define como Teorema 3. A+ = A· A* = A∗ · A Demostración. Sea x ∈ A+ ⇒ ⇒ para un k0 ≥ 1, se sigue que . Como ⇒ y por tanto A A= −Σ* x An n ∈ = ∞ 1 x Ak ∈ 0 A A Ak k0 0 1 = ⋅ − x A Ak ∈ ⋅ −0 1 ( )x A A A A A An n n n ∈ ⋅ = ⋅ = ⋅= ∞ = ∞ 0 0  * Esto prueba que A+ ⊆ A·A∗ . La otra parte es muy similar.
  • 12. Operaciones con lenguajes El inverso de un lenguaje A es AI = {xI | x ∈ A} Teorema 4. (A · B)I = BI · AI . Demostración. Sea x ∈ (AB)I ⇒ xI ∈ AB con lo que xI = yz para y ∈ A y z ∈ B. Por tanto x = (yz)I = zI · yI . Pero yI ∈ AI y zI ∈ BI , por lo que x ∈ BI AI , lo cual prueba que (A · B)I ⊆ BI · AI . A la inversa, si x ∈ BI AI , con lo que x = uw para u ∈ BI y w ∈ AI . Entonces xI = (w · u)I ∈AB, con lo que xI ∈ AB y x ∈ (AB)I , por tanto que BI · AI ⊆ (A · B)I .