SlideShare una empresa de Scribd logo
1 de 5
Operaciones con lenguajes
El concepto de concatenación se puede extender a los lenguajes. Se define la
concatenación de lenguajes como sigue:
El lenguaje que resulta de la concatenación de y esta formado por la concatenación
de todas la cadenas de con todas la cadenas de .
Ejemplo: Si y ,
entonces, .
La concatenación de lenguajes se puede realizar aún si los lenguajes no estan contruídos
sobre el mismo alfabeto, en tal caso la concatenación nos lleva a que, si y , son
lenguajes sobre y , entonces el lenguaje resultante será un lenguaje
sobre .
La cadena vacía se comporta como la identidad en cuanto a la concatenación de
lenguajes se trata, ya que si tenemos .
La definición de potencia, también puede extenderse a los lenguajes de la misma manera
Por lo tanto, si sobre un algún alfabeto, se tiene que
Hay que destacar que de la anterior definición se tiene que .
Dado que los lenguajes son conjuntos de cadenas, las operaciones, intersección, unión y
sublenguaje se difinen como sigue:
Sean y lenguajes sobre el alfabeto , la unión se denota como y quiere
decir que el lenguaje resultante esta formado por todas la palabras que se encuentren en
al menos uno de los dos lenguajes, más generalmente:
La intersección de los lenguajes y es un lenguaje formado por todas las cadenas
que se encuentran tanto en como en , esto es:
Con un ejemplo se prodrá ilustrar mejor las dos definiciones anteriores.
Ejemplo: Sean y ,
Ahora hay que definir el concepto de sublenguaje, recordando la teoría de conjuntos
sabemos que un conjunto es un subconjunto de , si contiene a todos los
elementos de y se denota como , y se lee, W es un subconjunto de U. Esta
definición se puede mudar perfectamente a la teoría de lenguajes, diciendo que
si y son lenguajes, entonces es un sublenguaje de , si contiene todas las
cadenas de y se denota , y se lee B es un sublenguaje de A.
Sea cualquier lenguaje sobre , entonces , ya que contiene todas las
cadenas que son posibles de generar con el alfabeto .
La igualdad de lenguajes cumple con las mismas caracteríscas que la igualdad entre
conjuntos, sean y lenguajes, son iguales, sólo si, contienen exactamente las
mismas cadenas. También hereda sus propiedades de la teoría de conjuntos, tales como
son los siguientes teoremas:
Teorema 2.3.1 Sean y , lenguajes sobre , , solo si y .
El teorema 2.3.1 sirve para demostrar la igualdad entre lenguajes y se utiliza para
demostrar que la concatenación es distributiva con respecto a la unión de lenguajes.
Demostración.Supongamos que , entónces tenemos que probar
que y , para ello digamos que . Como contiene las mismas
cadenas que , diremos que , de lo que se deduce que . De la misma
forma, si , entónces ya que los dos contienen las mismas cadenas, de lo
anterior tenemos que , lo cual no lleva a que y . Esto significa que
las cadenas que estan en , están también en y viceversa, por lo que , con lo
que se demuestra la igualdad.
Teorema 2.3.2 Dados los lenguajes y , sobre un alfabeto , se cumple que:
1.
2.
Demostración.Para demostrar la primera parte del teorema, probaremos primero
que . Supongamos que , y que ,
donde y . Sí , tenemos que y por lo
tanto . Si , tenemos que y de
nuevo . Sin importar a que lenguaje pertenesca , se deduce que
Ahora para probar suponemos que de
modo que o . Si y donde y ,
tenemos que , y ya que , tenemos que . Por otro lado
si y si , tenemos que y , por lo tanto y ya
que , tenemos que . De lo anterior se deduce
que . Utilizando el teorema 2.3.1 se obtiene
que , lo que demuestra la igualdad.
De forma muy similar se demuestra la segunda parte del teorema 2.3.2. Así que no
aparecerá la demostración en este documento.
A diferencia de la unión, la concatenación no es distributiva con respecto a la intersección
de lenguajes, para esto, hay que proponer que, si , y ,
entoces y , por lo que . Pero
tenemos que , entonces , por lo tanto:
Ahora veremos dos conceptos más, el primero es el de cerradura de Kleene o cerradura
estrella, élla esta definida como la unión de 0 o más potencias de un lenguaje sobre un
alfabeto , más precisamente, la cerradura de Kleene es realizar 0 o más
concatenaciones del lenguaje con él mismo, y se denota , lo que resulta
en un lenguaje que contiene todas las cadenas que son posibles de formar sobre .
También tenemos a la cerradura positiva, que es la unión de una o más potencias
de en , resultando en un lenguaje que contiene, todas las cadenas excepto la
cadena vacía , y se denota .
Un factor importante que debe recordarse es que la diferencia entre estos dos tipos de
cerradura es, que en la cerradura de Kleene se realiza con 0 o más concatenaciones, en
cambio la cerraduta positiva se realiza con o más concatenaciones.
Ejemplo: Si es el alfabeto español y sobre , tendremos
que , ya
que y .
La definición de la cerradura de Kleene es igual a la de el lenguaje universal, mencionada
en la sección 2.4 en la página . Sea un alfabeto, es la concatenación
de 0 o más símbolos de , que son las cadenas que conforman el lenguaje universal que
también se denota , de aquí que todo lenguaje sobre es un sublenguaje de .
La diferencia entre lenguajes sigue las mismas reglas que para la diferencia en conjuntos,
es decir, si y son lenguajes sobre , entonces ,
que resulta en un lenguaje que contiene todas las cadenas de , que no estan en .
Al igual que con conjutos se puede definir el complento de un lenguaje. Sea un
lenguaje sobre su complemento es
se puede que ver la definición se plantea de la misma manera que con conjuntos, donde
el lenguaje complemento contiene todas las cadenas del lenguaje universal , que no
estan en .
El inverso de un lenguaje se denota como y su efecto sobre el lenguaje es que todas
las cadenas del lenguaje se invierten, esto es, si es un lenguaje, su inverso
es .
Ejemplo: Si , entonces .
El inverso de un lenguaje se anula a sí mismo. Al igual que con las cadenas, el inverso del
inverso de un lenguaje, deja el lenguaje original intacto, esto es, .
El uso de el inverso de un lenguaje es bueno para casí todas las operaciones sobre
lenguajes, pero en el caso de la concatenación, no solo invierte las palabras
concatenadas de los lenguajes, sino que también cambia el ordan de la concatenación de
los lenguajes, .
Pablo Gerardo Padilla Beltrán. (2005). operaciones conlenguajes. 2005-10-21,
de . Sitio web:
http://delta.cs.cinvestav.mx/~mcintosh/comun/summer2006/algebraPablo_ht
ml/node6.html

Más contenido relacionado

La actualidad más candente

Conmutación espacial
Conmutación espacialConmutación espacial
Conmutación espacialmaxicarri
 
Ensayo Señales Digitales
Ensayo  Señales DigitalesEnsayo  Señales Digitales
Ensayo Señales DigitalesJessicaKC
 
Lenguajes de interfaz
Lenguajes de interfazLenguajes de interfaz
Lenguajes de interfazXavi Flores
 
Sistemas de Microondas - Capítulo V Equipos de Radio
Sistemas de Microondas - Capítulo V Equipos de RadioSistemas de Microondas - Capítulo V Equipos de Radio
Sistemas de Microondas - Capítulo V Equipos de RadioAndy Juan Sarango Veliz
 
Investigación Técnicas de detección de errores de transmisión
Investigación Técnicas de detección de errores de transmisiónInvestigación Técnicas de detección de errores de transmisión
Investigación Técnicas de detección de errores de transmisiónJosé Alexis Cruz Solar
 
Codigos Corrector de Errores
Codigos Corrector de ErroresCodigos Corrector de Errores
Codigos Corrector de ErroresWalter Toledo
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanaSheda17
 
Codificacion unipolar, polar y bipolar
Codificacion unipolar, polar y bipolarCodificacion unipolar, polar y bipolar
Codificacion unipolar, polar y bipolarthejp
 
Sistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoSistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoJosé Parra
 
Presentacion 2 datos digitales señales digitales
Presentacion 2 datos digitales señales digitalesPresentacion 2 datos digitales señales digitales
Presentacion 2 datos digitales señales digitalesLissette Adriano
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajesJean Bernard
 
Capacidad de un canal
Capacidad de un canalCapacidad de un canal
Capacidad de un canalarquitectura5
 
Administración de procesos y del procesador
Administración de procesos y del procesadorAdministración de procesos y del procesador
Administración de procesos y del procesadorFernando Camacho
 
Conceptos Básicos de Sistemas Operativos
Conceptos Básicos de Sistemas OperativosConceptos Básicos de Sistemas Operativos
Conceptos Básicos de Sistemas Operativosfvaldivieso
 

La actualidad más candente (20)

Codigo manchester
Codigo manchesterCodigo manchester
Codigo manchester
 
Tipos de autómatas, y operaciones de conjunto entre autómatas
Tipos de autómatas, y operaciones de conjunto entre autómatasTipos de autómatas, y operaciones de conjunto entre autómatas
Tipos de autómatas, y operaciones de conjunto entre autómatas
 
Clase2
Clase2Clase2
Clase2
 
Conmutación espacial
Conmutación espacialConmutación espacial
Conmutación espacial
 
Ensayo Señales Digitales
Ensayo  Señales DigitalesEnsayo  Señales Digitales
Ensayo Señales Digitales
 
Lenguajes de interfaz
Lenguajes de interfazLenguajes de interfaz
Lenguajes de interfaz
 
Sistemas de Microondas - Capítulo V Equipos de Radio
Sistemas de Microondas - Capítulo V Equipos de RadioSistemas de Microondas - Capítulo V Equipos de Radio
Sistemas de Microondas - Capítulo V Equipos de Radio
 
Investigación Técnicas de detección de errores de transmisión
Investigación Técnicas de detección de errores de transmisiónInvestigación Técnicas de detección de errores de transmisión
Investigación Técnicas de detección de errores de transmisión
 
Hamming y CRC
Hamming y CRCHamming y CRC
Hamming y CRC
 
Codigos Corrector de Errores
Codigos Corrector de ErroresCodigos Corrector de Errores
Codigos Corrector de Errores
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
NGN
NGNNGN
NGN
 
Codificacion unipolar, polar y bipolar
Codificacion unipolar, polar y bipolarCodificacion unipolar, polar y bipolar
Codificacion unipolar, polar y bipolar
 
Sistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempoSistemas lineales invariantes en el tiempo
Sistemas lineales invariantes en el tiempo
 
Presentacion 2 datos digitales señales digitales
Presentacion 2 datos digitales señales digitalesPresentacion 2 datos digitales señales digitales
Presentacion 2 datos digitales señales digitales
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Módem y XDSL
Módem y XDSLMódem y XDSL
Módem y XDSL
 
Capacidad de un canal
Capacidad de un canalCapacidad de un canal
Capacidad de un canal
 
Administración de procesos y del procesador
Administración de procesos y del procesadorAdministración de procesos y del procesador
Administración de procesos y del procesador
 
Conceptos Básicos de Sistemas Operativos
Conceptos Básicos de Sistemas OperativosConceptos Básicos de Sistemas Operativos
Conceptos Básicos de Sistemas Operativos
 

Similar a Lenguaje y automata operaciones con lenguajes

Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesRaul Interian
 
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
 
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
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Humano Terricola
 
Tipos de oraciones yuxtapuestas
Tipos de oraciones yuxtapuestasTipos de oraciones yuxtapuestas
Tipos de oraciones yuxtapuestasAbelTejada4
 
Lema de bombeo
Lema de bombeoLema de bombeo
Lema de bombeoOmega Tech
 
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptx
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptxESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptx
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptxCarlosGutierrez188474
 
4...4 tesis de maestria horacio alberto garcia salas
4...4 tesis de maestria horacio alberto garcia salas4...4 tesis de maestria horacio alberto garcia salas
4...4 tesis de maestria horacio alberto garcia salasJacqui Venegas
 

Similar a Lenguaje y automata operaciones con lenguajes (20)

Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formales
 
Automatas
AutomatasAutomatas
Automatas
 
Lenguajes y automatas alfabeto,cadena,lenguaje
Lenguajes y automatas alfabeto,cadena,lenguajeLenguajes y automatas alfabeto,cadena,lenguaje
Lenguajes y automatas alfabeto,cadena,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...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
Lenguajes no regulares
Lenguajes no regularesLenguajes no regulares
Lenguajes no regulares
 
Lenguajes
LenguajesLenguajes
Lenguajes
 
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
 
GRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUASGRAMATICAS AMBIGUAS
GRAMATICAS AMBIGUAS
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1
 
Tipos de oraciones yuxtapuestas
Tipos de oraciones yuxtapuestasTipos de oraciones yuxtapuestas
Tipos de oraciones yuxtapuestas
 
Lema de bombeo
Lema de bombeoLema de bombeo
Lema de bombeo
 
Presentación 2
Presentación 2Presentación 2
Presentación 2
 
Lógica
Lógica Lógica
Lógica
 
Tarea111
Tarea111Tarea111
Tarea111
 
4 e42204356424e4a4e4346204d
4 e42204356424e4a4e4346204d4 e42204356424e4a4e4346204d
4 e42204356424e4a4e4346204d
 
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptx
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptxESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptx
ESCUELA LINGÜÍSTICA GENERATIVO-TRANSFORMACIONAL UPNFM.pptx
 
Lenguaje y problemas
Lenguaje y problemas Lenguaje y problemas
Lenguaje y problemas
 
Omar portillo hijo de dios
Omar portillo hijo de diosOmar portillo hijo de dios
Omar portillo hijo de dios
 
4...4 tesis de maestria horacio alberto garcia salas
4...4 tesis de maestria horacio alberto garcia salas4...4 tesis de maestria horacio alberto garcia salas
4...4 tesis de maestria horacio alberto garcia salas
 

Más de julian javier solis herrera

Más de julian javier solis herrera (20)

Proyecto 5 rueda de la fortuna
Proyecto 5 rueda de la fortunaProyecto 5 rueda de la fortuna
Proyecto 5 rueda de la fortuna
 
Proyecto 4 sensor de proximidad con leds
Proyecto 4 sensor de proximidad con ledsProyecto 4 sensor de proximidad con leds
Proyecto 4 sensor de proximidad con leds
 
Proyecto brazorobotico
Proyecto brazoroboticoProyecto brazorobotico
Proyecto brazorobotico
 
Proyectos
ProyectosProyectos
Proyectos
 
maquina de turing
maquina de turingmaquina de turing
maquina de turing
 
Automatas finitos
Automatas finitosAutomatas finitos
Automatas finitos
 
Unidad 2 expresiones regulares
Unidad 2 expresiones regularesUnidad 2 expresiones regulares
Unidad 2 expresiones regulares
 
programas de los meses
programas de los mesesprogramas de los meses
programas de los meses
 
Programa de semanas
Programa de semanasPrograma de semanas
Programa de semanas
 
Programa de alfabeto
Programa de alfabetoPrograma de alfabeto
Programa de alfabeto
 
Primer
Primer Primer
Primer
 
Operaciones
Operaciones Operaciones
Operaciones
 
ejemplo de grafo
ejemplo de grafoejemplo de grafo
ejemplo de grafo
 
Codigo ascii
Codigo asciiCodigo ascii
Codigo ascii
 
Automata
AutomataAutomata
Automata
 
Proyectos de clase lenguajes y automatas
Proyectos de clase lenguajes y automatasProyectos de clase lenguajes y automatas
Proyectos de clase lenguajes y automatas
 
apuntes de clase de lenguajes y automatas
apuntes de clase de lenguajes y automatasapuntes de clase de lenguajes y automatas
apuntes de clase de lenguajes y automatas
 
Tercera tarea de lenguajes y automatas
Tercera tarea de lenguajes y automatasTercera tarea de lenguajes y automatas
Tercera tarea de lenguajes y automatas
 
segundo cuestionario de lengujes y automatas
segundo cuestionario de lengujes y automatassegundo cuestionario de lengujes y automatas
segundo cuestionario de lengujes y automatas
 
cuestionario
cuestionariocuestionario
cuestionario
 

Último

Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...AlanCedillo9
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafiosFundación YOD YOD
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIAWilbisVega
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfSergioMendoza354770
 
trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdfIsabellaMontaomurill
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxJOSEMANUELHERNANDEZH11
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesFundación YOD YOD
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024GiovanniJavierHidalg
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricKeyla Dolores Méndez
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...FacuMeza2
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx241521559
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan JosephBRAYANJOSEPHPEREZGOM
 
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...JaquelineJuarez15
 
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxMedidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxaylincamaho
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadMiguelAngelVillanuev48
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxpabonheidy28
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersIván López Martín
 
ejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofJuancarlosHuertasNio1
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)GDGSucre
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfsoporteupcology
 

Último (20)

Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafios
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
 
trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdf
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptx
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento Protégeles
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Joseph
 
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
 
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxMedidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidad
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docx
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
 
ejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sof
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdf
 

Lenguaje y automata operaciones con lenguajes

  • 1. Operaciones con lenguajes El concepto de concatenación se puede extender a los lenguajes. Se define la concatenación de lenguajes como sigue: El lenguaje que resulta de la concatenación de y esta formado por la concatenación de todas la cadenas de con todas la cadenas de . Ejemplo: Si y , entonces, . La concatenación de lenguajes se puede realizar aún si los lenguajes no estan contruídos sobre el mismo alfabeto, en tal caso la concatenación nos lleva a que, si y , son lenguajes sobre y , entonces el lenguaje resultante será un lenguaje sobre . La cadena vacía se comporta como la identidad en cuanto a la concatenación de lenguajes se trata, ya que si tenemos . La definición de potencia, también puede extenderse a los lenguajes de la misma manera Por lo tanto, si sobre un algún alfabeto, se tiene que Hay que destacar que de la anterior definición se tiene que . Dado que los lenguajes son conjuntos de cadenas, las operaciones, intersección, unión y sublenguaje se difinen como sigue: Sean y lenguajes sobre el alfabeto , la unión se denota como y quiere decir que el lenguaje resultante esta formado por todas la palabras que se encuentren en al menos uno de los dos lenguajes, más generalmente: La intersección de los lenguajes y es un lenguaje formado por todas las cadenas que se encuentran tanto en como en , esto es: Con un ejemplo se prodrá ilustrar mejor las dos definiciones anteriores. Ejemplo: Sean y ,
  • 2. Ahora hay que definir el concepto de sublenguaje, recordando la teoría de conjuntos sabemos que un conjunto es un subconjunto de , si contiene a todos los elementos de y se denota como , y se lee, W es un subconjunto de U. Esta definición se puede mudar perfectamente a la teoría de lenguajes, diciendo que si y son lenguajes, entonces es un sublenguaje de , si contiene todas las cadenas de y se denota , y se lee B es un sublenguaje de A. Sea cualquier lenguaje sobre , entonces , ya que contiene todas las cadenas que son posibles de generar con el alfabeto . La igualdad de lenguajes cumple con las mismas caracteríscas que la igualdad entre conjuntos, sean y lenguajes, son iguales, sólo si, contienen exactamente las mismas cadenas. También hereda sus propiedades de la teoría de conjuntos, tales como son los siguientes teoremas: Teorema 2.3.1 Sean y , lenguajes sobre , , solo si y . El teorema 2.3.1 sirve para demostrar la igualdad entre lenguajes y se utiliza para demostrar que la concatenación es distributiva con respecto a la unión de lenguajes. Demostración.Supongamos que , entónces tenemos que probar que y , para ello digamos que . Como contiene las mismas cadenas que , diremos que , de lo que se deduce que . De la misma forma, si , entónces ya que los dos contienen las mismas cadenas, de lo anterior tenemos que , lo cual no lleva a que y . Esto significa que las cadenas que estan en , están también en y viceversa, por lo que , con lo que se demuestra la igualdad. Teorema 2.3.2 Dados los lenguajes y , sobre un alfabeto , se cumple que: 1. 2.
  • 3. Demostración.Para demostrar la primera parte del teorema, probaremos primero que . Supongamos que , y que , donde y . Sí , tenemos que y por lo tanto . Si , tenemos que y de nuevo . Sin importar a que lenguaje pertenesca , se deduce que Ahora para probar suponemos que de modo que o . Si y donde y , tenemos que , y ya que , tenemos que . Por otro lado si y si , tenemos que y , por lo tanto y ya que , tenemos que . De lo anterior se deduce que . Utilizando el teorema 2.3.1 se obtiene que , lo que demuestra la igualdad. De forma muy similar se demuestra la segunda parte del teorema 2.3.2. Así que no aparecerá la demostración en este documento. A diferencia de la unión, la concatenación no es distributiva con respecto a la intersección de lenguajes, para esto, hay que proponer que, si , y , entoces y , por lo que . Pero tenemos que , entonces , por lo tanto: Ahora veremos dos conceptos más, el primero es el de cerradura de Kleene o cerradura estrella, élla esta definida como la unión de 0 o más potencias de un lenguaje sobre un alfabeto , más precisamente, la cerradura de Kleene es realizar 0 o más concatenaciones del lenguaje con él mismo, y se denota , lo que resulta en un lenguaje que contiene todas las cadenas que son posibles de formar sobre . También tenemos a la cerradura positiva, que es la unión de una o más potencias de en , resultando en un lenguaje que contiene, todas las cadenas excepto la cadena vacía , y se denota .
  • 4. Un factor importante que debe recordarse es que la diferencia entre estos dos tipos de cerradura es, que en la cerradura de Kleene se realiza con 0 o más concatenaciones, en cambio la cerraduta positiva se realiza con o más concatenaciones. Ejemplo: Si es el alfabeto español y sobre , tendremos que , ya que y . La definición de la cerradura de Kleene es igual a la de el lenguaje universal, mencionada en la sección 2.4 en la página . Sea un alfabeto, es la concatenación de 0 o más símbolos de , que son las cadenas que conforman el lenguaje universal que también se denota , de aquí que todo lenguaje sobre es un sublenguaje de . La diferencia entre lenguajes sigue las mismas reglas que para la diferencia en conjuntos, es decir, si y son lenguajes sobre , entonces , que resulta en un lenguaje que contiene todas las cadenas de , que no estan en . Al igual que con conjutos se puede definir el complento de un lenguaje. Sea un lenguaje sobre su complemento es se puede que ver la definición se plantea de la misma manera que con conjuntos, donde el lenguaje complemento contiene todas las cadenas del lenguaje universal , que no estan en . El inverso de un lenguaje se denota como y su efecto sobre el lenguaje es que todas las cadenas del lenguaje se invierten, esto es, si es un lenguaje, su inverso es . Ejemplo: Si , entonces . El inverso de un lenguaje se anula a sí mismo. Al igual que con las cadenas, el inverso del inverso de un lenguaje, deja el lenguaje original intacto, esto es, . El uso de el inverso de un lenguaje es bueno para casí todas las operaciones sobre lenguajes, pero en el caso de la concatenación, no solo invierte las palabras concatenadas de los lenguajes, sino que también cambia el ordan de la concatenación de los lenguajes, .
  • 5. Pablo Gerardo Padilla Beltrán. (2005). operaciones conlenguajes. 2005-10-21, de . Sitio web: http://delta.cs.cinvestav.mx/~mcintosh/comun/summer2006/algebraPablo_ht ml/node6.html