L={w∈Σ ∗ ∣∣w∣ a ​ ≡0(mod2)}

 1. ¿Qué significa "a’s"?

"a’s" es una forma abreviada de decir "letras a" (en plural).

• En español a veces se escribe "aes", pero es más común en textos matemáticos usar 'a’s' (con apóstrofe + s).

Ejemplos:

• La cadena "aaab" tiene 3 a’s → tres letras 'a'.

• "bbb" tiene 0 a’s → ninguna 'a'.

• "aba" tiene 2 a’s.

---

2. Interpretación de la condición "número par de a’s"

Par = divisible entre 2: 0, 2, 4, 6, …
En este contexto el 0 se considera par (porque 0 dividido entre 2 da resto 0).

Entonces:

• Cadenas con 0, 2, 4, 6, … letras a → SÍ pertenecen.

• Cadenas con 1, 3, 5, 7, … letras a → NO pertenecen.

---

3. Explicación de cada ejemplo paso a paso

Ejemplo 1: ε (cadena vacía)

• ¿Qué es ε? Es la cadena sin símbolos: "" (vacia).

• Contamos cuántas a tiene: 0.

• ¿0 es par? Sí (0 ÷ 2 = 0, resto 0).

• → Pertenece a L.

---

Ejemplo 2: "b"

• Cadena: b

• Recorremos cada símbolo:

  • b no es a.

• Total de a = 0.

• 0 es par → Sí pertenece.

---

Ejemplo 3: "bb"

• Cadena: b b

• Ninguna a.

• Total a = 0 → Sí pertenece.

---

Ejemplo 4: "a"

• Cadena: a

• Recorremos:
  Símbolo 1: a → sí es a → contamos 1.

• Total a = 1.

• ¿1 es par? No (1 ÷ 2 = 0.5, resto 1).

• → NO pertenece.

---

Ejemplo 5: "aa"

• Cadena: a a

• Símbolo 1: a → cuenta = 1
  Símbolo 2: a → cuenta = 2

• Total = 2 → ¿2 es par? Sí.

• → Sí pertenece.

---

Ejemplo 6: "aba"

• Cadena: a b a

• Símbolo 1: a → cuenta = 1
  Símbolo 2: b → no cambia cuenta (sigue 1)
  Símbolo 3: a → cuenta = 2

• Total = 2 (par) → Sí pertenece.

---

Ejemplo 7: "ababa"

• Cadena: a b a b a

• Vamos contando a:
  Posiciones 1, 3, 5 son a: 1, 2, 3.

• Total = 3 (impar) → NO pertenece.

---

Ejemplo 8: "baba"

• Cadena: b a b a

• Posiciones con a: 2, 4 → contamos: 1, 2.

• Total = 2 (par) → Sí pertenece.

---

Ejemplo 9: "aabb"

• Cadena: a a b b

• a en posiciones 1 y 2 → 1, 2.

• Total = 2 (par) → Sí pertenece.

---

Ejemplo 10: "abba"

• Cadena: a b b a

• a en posiciones 1 y 4 → 1, 2.

• Total = 2 (par) → Sí pertenece.

---

4. Regla sencilla para saber si una cadena está en L

1. Ignora todas las letras b, solo mira las a.

2. Cuenta cuántas a hay.

3. Si el número es par (o 0), la cadena está en L. Si es impar, no está.

---

5. Analogía

Imagina que tienes un interruptor de luz que empieza apagado (estado "par"):

• Cada vez que ves una a, cambia el estado (par → impar → par …).

• Cada vez que ves una b, no haces nada.

• Al final de la cadena: si el interruptor está en "par", la cadena está en L.

Ejemplo "aba":

• Inicio: par
  a → impar
  b → impar (no cambia)
  a → par → Sí pertenece.

Lectura de la expresión completa

$$\mathrm{<span\; style="font-size:\; large;">L</span>}<span\; style="font-size:\; large;">=</span><span\; style="font-size:\; large;">\{</span>\mathrm{<span\; style="font-size:\; large;">w</span>}<span\; style="font-size:\; large;">\in </span>{\mathrm{<span\; style="font-size:\; large;">\Sigma </span>}}^{<span\; style="font-size:\; large;">\ast </span>}<span\; style="font-size:\; large;">\mid </span>\mathrm{<span\; style="font-size:\; large;">\mid </span>}\mathrm{<span\; style="font-size:\; large;">w</span>}{\mathrm{<span\; style="font-size:\; large;">\mid </span>}}_{\mathrm{<span\; style="font-size:\; large;">a</span>}}<span\; style="font-size:\; large;">\equiv </span>\mathrm{<span\; style="font-size:\; large;">0</span>}<span\; style="font-size:\; large;">(</span>\mathrm{<span\; style="font-size:\; large;">m</span>}\mathrm{<span\; style="font-size:\; large;">o</span>}\mathrm{<span\; style="font-size:\; large;">d</span>}\mathrm{<span\; style="font-size:\; large;">2</span>}<span\; style="font-size:\; large;">)</span><span\; style="font-size:\; large;">\}</span>$$

Se lee:

“L es el conjunto de todas las cadenas w en sigma estrella tales que el número de a’s en w es congruente con 0 módulo 2.”

O en lenguaje más natural:

“L es el conjunto de todas las cadenas sobre el alfabeto Σ que tienen un número par de letras a.”

---

2. Desglose de los símbolos

• $L$ = un lenguaje (conjunto de cadenas).

• $\{\}$ = definición de conjunto.

• $w\in {\mathrm{\Sigma }}^{\ast }$ = “w pertenece a Σ*”, donde:

  • $\mathrm{\Sigma }=\{a,b\}$ (alfabeto)

  • ${\mathrm{\Sigma }}^{\ast }$ = conjunto de todas las cadenas finitas que se pueden formar con letras de Σ, incluyendo la cadena vacía $\epsilon$.

• $\mid$ = “tal que” (condición que deben cumplir los elementos del conjunto).

• $\mathrm{\mid }w{\mathrm{\mid }}_a$ = función que cuenta apariciones:

  • $\mathrm{\mid }w{\mathrm{\mid }}_a$ = número de veces que aparece el símbolo ‘a’ en la cadena w.

  • Ejemplo: $\mathrm{\mid }ababa{\mathrm{\mid }}_a=3$, $\mathrm{\mid }bbbb{\mathrm{\mid }}_a=0$.

• $\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}2)$ = “es congruente con 0 módulo 2”, es decir, el número es par.

  • En matemáticas: $n\equiv 0(\text{mod }2)$ significa que $n$ es divisible entre 2 (resto 0 al dividir entre 2).

  • Equivale a: $\mathrm{\mid }w{\mathrm{\mid }}_a$ es par.

---

3. Explicación conceptual

Esta notación formaliza exactamente la descripción en español:

Descripción en palabras:
“Todas las cadenas formadas por a’s y b’s que tienen un número par de a’s.”

Formalización matemática:

1. El universo es ${\mathrm{\Sigma }}^{\ast }$ (todas las cadenas posibles con a y b).

2. Filtramos solo aquellas cadenas $w$ donde la función de conteo de a’s da un número par.

3. Escribimos esa condición con notación de congruencia módulo 2.

---

4. Ejemplos

Dado $\mathrm{\Sigma }=\{a,b\}$:

• $\epsilon$ (cadena vacía): $\mathrm{\mid }\epsilon {\mathrm{\mid }}_a=0$, 0 es par → sí pertenece.

• "b": $\mathrm{\mid }b{\mathrm{\mid }}_a=0$ par → sí.

• "bb": 0 a’s → sí.

• "a": $\mathrm{\mid }a{\mathrm{\mid }}_a=1$ impar → no pertenece.

• "aa": 2 a’s (par) → sí.

• "aba": cuenta: a,b,a → 2 a’s → sí.

• "ababa": 3 a’s → no.

• "baba": 2 a’s → sí.

• "aabb": 2 a’s → sí.

• "abba": 2 a’s → sí.

---

5. 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\in \{a,b{\}}^{\ast }\mid \mathrm{\mid }w{\mathrm{\mid }}_a\equiv 0(\text{mod }2)\}$

La formalización aclara:

1. Alfabeto: $\{a,b\}$

2. Se incluye la cadena vacía (porque ${\mathrm{\Sigma }}^{\ast }$ la incluye).

3. “Par” se define como congruente con 0 módulo 2.

4. 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$ (par de a’s, estado inicial y final)

• Estado $q_1$ (impar de a’s, no final)

Transiciones:

• Con ‘a’ cambias de estado.

• Con ‘b’ te quedas en el mismo estado.

---

Resumen final

$$\mathrm{<span\; style="font-size:\; large;">L</span>}<span\; style="font-size:\; large;">=</span><span\; style="font-size:\; large;">\{</span>\mathrm{<span\; style="font-size:\; large;">w</span>}<span\; style="font-size:\; large;">\in </span>{\mathrm{<span\; style="font-size:\; large;">\Sigma </span>}}^{<span\; style="font-size:\; large;">\ast </span>}<span\; style="font-size:\; large;">\mid </span>\mathrm{<span\; style="font-size:\; large;">\mid </span>}\mathrm{<span\; style="font-size:\; large;">w</span>}{\mathrm{<span\; style="font-size:\; large;">\mid </span>}}_{\mathrm{<span\; style="font-size:\; large;">a</span>}}<span\; style="font-size:\; large;">\equiv </span>\mathrm{<span\; style="font-size:\; large;">0</span>}<span\; style="font-size:\; large;">(</span>\mathrm{<span\; style="font-size:\; large;">m</span>}\mathrm{<span\; style="font-size:\; large;">o</span>}\mathrm{<span\; style="font-size:\; large;">d</span>}\mathrm{<span\; style="font-size:\; large;">2</span>}<span\; style="font-size:\; large;">)</span><span\; style="font-size:\; large;">\}</span>$$

“L es el conjunto de todas las cadenas sobre {a,b} cuyo número de letras a es par.”