INTRODUCCION








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