L₁ ∪ L₂ = {w | w ∈ L₁ o w ∈ L₂}

 L₁ ∪ L₂ = {w | w ∈ L₁ o w ∈ L₂}

1. Desglose de los símbolos

  • L₁ y L₂ → se leen como "L sub uno" y "L sub dos". Generalmente representan dos lenguajes (en teoría de lenguajes formales, un lenguaje es un conjunto de cadenas o palabras formadas sobre un alfabeto).

  • ∪ → es el símbolo de unión de conjuntos. Se lee "unión".

  • = → igualdad.

  • { } → llaves que indican "el conjunto de todos los elementos tales que…".

  • | → se lee "tal que" o "que cumplen".

  • w → representa una cadena (palabra, word en inglés).

  • ∈ → "pertenece a".

  • o → en este contexto significa "o" lógico (inclusivo).

2. Lectura literal de la expresión

L1∪L2={w∣w∈L1 o w∈L2}

Se lee:

"L uno unión L dos es igual al conjunto de todas las palabras w tales que w pertenece a L uno o w pertenece a L dos".

3. Significado conceptual

Esto define la unión de dos lenguajes:

  • La unión L1∪L2 contiene todas las cadenas que están en L1, o en L2, o en ambos.

  • Si una palabra aparece en cualquiera de los dos lenguajes (o en los dos), estará en el lenguaje unión.

4. Ejemplo concreto

Supón:

  • L1={aa,ab}

  • L2=ab,bb

Entonces:
L1∪L2={aa,ab,bb}

La palabra ab está en ambos, pero en la unión solo se cuenta una vez (los conjuntos no repiten elementos).

Resumen de la lectura en español natural:

"La unión de L₁ y L₂ es el conjunto de palabras w que pertenecen a L₁ o pertenecen a L₂"

Comentarios

Publicar un comentario

Entradas más populares de este blog

Lenguajes Formales en el Contexto de Autómatas

  Lenguajes Formales en el Contexto de Autómatas ¿Qué es un Lenguaje Formal? Un  lenguaje formal  es un conjunto de cadenas (palabras) construidas a partir de un alfabeto finito, usando reglas precisas y matemáticas. No se trata de "hablar formalmente", sino de definir  estructuras sintácticas  de manera rigurosa y matemática. Componentes Fundamentales 1. Alfabeto (Σ) Un conjunto  finito  de símbolos básicos. Ejemplo: Σ = {a, b, c} Ejemplo binario: Σ = {0, 1} 2. Cadena (palabra) Una secuencia finita de símbolos del alfabeto. Ejemplo: "abac", "00101", "ε" (cadena vacía) 3. Lenguaje (L) Un  conjunto  de cadenas sobre un alfabeto. Ejemplo: L = {ab, ba, aab} sobre Σ = {a, b} Ejemplo: L = {todas las cadenas con igual número de 0's y 1's} Operaciones con Lenguajes Unión (∪) L₁ ∪ L₂ = {w | w ∈ L₁  o  w ∈ L₂} Ejemplo: Si L₁ = {ab, ba} y L₂ = {aa, ab}, entonces: L₁ ∪ L₂ = {ab, ba, aa} Concatenación (∘ o simplemente juntar) L₁ ∘ L₂ = {xy | x ...
Leer más

Cada Símbolo Explicado ANTES de Usarlo

  Tutorial Super Detallado: Cada Símbolo Explicado ANTES de Usarlo ¡Perfecto! Vamos a explicar cada símbolo por separado antes de juntarlos, como presentar los ingredientes antes de cocinar. 📌 PRIMERO: Conoce Tus "Ingredientes" (Símbolos Básicos) 1. Σ (Sigma mayúscula) - Tu CAJA DE HERRAMIENTAS text Explicación: Es el conjunto de "piezas básicas" que vas a usar. Se pronuncia: "Sigma" Ejemplo visual: Σ = {😀, 😭, 🎮}  ← Tienes 3 emojis para trabajar Para alumnos: Imagina que Σ es tu mochila de colores. Si Σ = {🟥, 🟦}, solo puedes usar rojo y azul. 2. { } (Llaves) - La BOLSA donde guardas cosas text Explicación: Indica un CONJUNTO (grupo de cosas). Se lee: "el conjunto de..." Ejemplo: {A, B, C} significa "el conjunto que tiene A, B y C" Para alumnos: Las llaves son como un estuche: {lápiz, goma, sacapuntas} ← todo lo que hay dentro. 3. ε (épsilon) / λ (lambda) - La FIGURA INVISIBLE text Explicación: Representa la "cadena vacía...
Leer más

Por qué usar notación formal

  La notación matemática elimina ambigüedades y permite hacer demostraciones. Compara: Versión informal: “cadenas con número par de a’s” Versión formal:  L = { w ∈ { a , b } ∗ ∣ ∣ w ∣ a ≡ 0   ( mod  2 ) } L = { w ∈ { a , b } ∗ ∣ ∣ w ∣ a ​ ≡ 0   ( mod  2 )} La formalización aclara: Alfabeto:  { a , b } { a , b } Se incluye la cadena vacía (porque  Σ ∗ Σ ∗  la incluye). “Par” se define como congruente con 0 módulo 2. Solo importa el conteo de ‘a’, no importa el orden ni la cantidad de ‘b’. 6. En términos de autómatas Este lenguaje es reconocido por un  autómata finito determinista  con dos estados: Estado  q 0 q 0 ​  (par de a’s, estado inicial y final) Estado  q 1 q 1 ​  (impar de a’s, no final) Transiciones: Con ‘a’ cambias de estado. Con ‘b’ te quedas en el mismo estado. Resumen final L = { w ∈ Σ ∗ ∣ ∣ w ∣ a ≡ 0 ( m o d 2 ) } L = { w ∈ Σ ∗ ∣ ∣ w ∣ a ​ ≡ 0 ( mod 2 )} “L es el conjunto de todas las cadenas sobre {...
Leer más