AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 2
TAREA 3- CONSTRUCCIÓN DE AUTÓMATAS DE PILA

TUTORA:
RAFAEL PÉREZ HOLGUÍN

ENTREGADO POR:

CRISTIAN ANDRES OSPINA BOLAÑOS

CÓDIGO: 1.075.233.646
ALEXANDRA MARCELA VILLAMIL
CODIGO: 1.110.492.684
JOSE LUIS TRIVIÑO VARGAS
CODIGO: 7.719.237
EDGAR MIGUEL DELGADO

GRUPO: 301405_47

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
OCTUBRE DE 2021
FLORENCIA
 Contenido
Desarrollos Individuales .................................................................................................................. 3
Ejercicios A-1. Autómata de Pila Estudiante Cristian Andrés Ospina.............................................. 3
Ejercicios A-2. Gramática del autómata. Estudiante Cristian Andrés Ospina ................................. 9
Ejercicios B-1. Autómata de Pila. Estudiante: Alexandra Marcela Villamil ................................... 10
Ejercicios B-2. Gramática del autómata. Estudiante: Alexandra Marcela Villamil........................ 17
Ejercicios C-1. Autómata de Pila Estudiante Jose Luis Triviño Vargas........................................... 18
Ejercicios C-2. Gramática del autómata. Estudiante Jose Luis Triviño Vargas .............................. 27
Trabajo Colaborativo ..................................................................................................... 30
Referencias Bibliográficas......................................................................................................... 37
 Desarrollos Individuales

Ejercicios A-1. Autómata de Pila Estudiante Cristian Andrés Ospina

EJERCICIO EJERCICIO A
POR
TRABAJAR

CARACTERIZACIÓ Identificación del autómata

N DEL AUTÓMATA
A PILA P = (Q, Σ, Γ, δ, q0, Z0, F)

Q = Conjunto finitos de estados.

Σ = Conjunto finito de símbolos de entrada.
Γ = Alfabeto de pila finito.
δ = Función de transición, δ (q, a, X) = (p, γ).
q0 = Estado inicial.
Z0 = Símbolo inicial de la pila.
F = conjunto de estados de aceptación.
 Teniendo en cuenta lo anterior entonces:
Σ= {a, b}
Γ= {a}
Q = {q0, q1}
A0 ∈ Γ= λ
q0 ∈ Q = q0
F ⊆ Q = q1
f: es una aplicación denominada función de transición
de ternas (estado, símbolo de entrada o λ, símbolo
de pila) en el conjunto de las partes Q × Γ*.

Tabla de Transición.
σ = (q0, a, λ), (q0, a)
σ = (q0, b, a), (q1, λ)
σ = (q1, b, a), (q1, λ)

Cuadro Comparativo
Autómata Finito Autómata de Pila
Sea P = (Q, Σ, Γ, δ, q0, Z0, Para todo AP P= (Q,
F) Σ, Γ, δ, q0, Z0) se
define el lenguaje que
L(P) = el lenguaje
acepta como
aceptado por P por estado
final es N(P) = {w | (q0, w, z0)
├*(q, ε,ε)} para
{w | (q0, w, Z0),├* (q,ε,ε)}
cualquier estado de q.
para cualquier estado q.
PROCEDIMIENTO Realice de manera detallada y grafica el procedimiento paso a paso
DE PASO A PASO del recorrido de una cadena (La cadena la selecciona el estudiante,
debe contener como mínimo 5 caracteres) en el autómata a pila
DEL RECORRIDO
DE UNA CADENA

Paso 1: Se lee la primera a y se agrega a la pila, pero se continua en

el estado q0.

Paso 2: Se lee la segunda a y se agrega a la pila, pero se continua

en el estado q0.
Paso 3: Se lee la tercera a y se agrega a la pila, pero se continua en
el estado q0.

Paso 4: Pasamos a q1, con la letra b no se apila.

Paso 5: Estando en el punto q1, en literal b, quitamos una a, y no

apila nada.
Paso 6: Por último, estando en q1, con la letra b quitamos a y no apila
nada, encontramos el final en el estado de aceptación q1.
PRACTICAR Y Apoyándose en el simulador JFlap (Anexo 1 - JFLAP) o VAS (Anexo
VERIFICAR LO 2- VAS) ejecutar y validar por lo menos cinco cadenas válidas y 5
APRENDIDO cadenas rechazadas por el autómata. En este espacio adjunta la
imagen.

LENGUAJE
REGULAR
𝑳 = {𝒂𝒏 𝒃𝒏 |𝒏 >= 𝟏}
Ejercicios A-2. Gramática del autómata. Estudiante Cristian Andrés Ospina

Para encontrar la gramática del autómata determinamos los símbolos y los estados

Paso 1

Se toma S como estado inicial con el símbolo {a} el cual se dirige al mismo estado

𝑺 → 𝒂𝑺
Paso 2

El símbolo {b} se dirige hacia el estado A (q1)

𝑺 → 𝒃𝑨
Paso 3

Ubicado en A(q1), con símbolo {b} queda en estado A (q1).

𝑨 → 𝒃𝑨
Paso 4
Estado A (q1)

𝑨→λ
Tenemos las transiciones

𝑺 → 𝒂𝑺
𝑺 → 𝒃𝑨
𝑨 → 𝒃𝑨
 𝑨→λ
Gramática Autómata: 𝒂𝒏𝒏𝛌

Ejercicios B-1. Autómata de Pila. Estudiante: Alexandra Marcela Villamil

EJERCICIO A Ejercicio b
TRABAJAR

Caracterización Formante, un autómata se define por medio de una séptupla:

del autómata a 𝐴𝑃 = (𝑄, 𝛴, Γ, 𝑄, , 𝐴0 , 𝑞0 , 𝑓, 𝐹)
pila
Donde:

𝛴: 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑒𝑑𝑎
𝛤: 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑝𝑖𝑙𝑎
𝑄: 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠
𝐴0 ∈ 𝛤: 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
𝑞0 ∈ 𝑄: 𝑒𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑐𝑙 𝑑𝑒𝑙 𝑎𝑢𝑡𝑜𝑚𝑎𝑡𝑎
𝐹 ⊆ 𝑄: 𝑐𝑜𝑛𝑗𝑢𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠
𝑓: 𝑎𝑝𝑙𝑖𝑐𝑎𝑐𝑖𝑜𝑛 𝑑𝑒𝑛𝑜𝑚𝑖𝑛𝑎𝑑𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛 𝑑𝑒 𝑡𝑒𝑟𝑛𝑎𝑠

Aplicando lo anterior al problema propuesto se obtiene

𝛴 = {𝑍, 𝑎, 𝑋}
 𝛤 = {𝜆, 0,1}
𝐴0 = {𝜆}
𝑞0 ∈ 𝑄 = {𝑞0 }
𝐹 ⊆ 𝑄 = 𝑞2

Procedimiento Paso 1.
de paso a paso La cadena para analizar es 0011, se inicia en el estado q0
del recorrido
de una cadena

𝛿 = (𝑞0 , 0, 𝜆)(𝑞0 , 𝑎)
𝛿 = (𝑞0 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 𝜆, 𝑍)(𝑞2 , 𝑋)

Paso 2.
En el estado q0 se lee el dato de entrada 0, se ingresa a y
no se desapila nada.
 𝛿 = (𝑞0 , 0, 𝜆)(𝑞0 , 𝑎)
𝛿 = (𝑞0 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 𝜆, 𝑍)(𝑞2 , 𝑋)

Paso 3.
Continuando en el estado q0 se queda quieto y se apila
otra a sin desapilar nada

𝛿 = (𝑞0 , 0, 𝜆)(𝑞0 , 𝑎)
𝛿 = (𝑞0 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 𝜆, 𝑍)(𝑞2 , 𝑋)
Paso 4.
Una vez se pasa a q1 se desapila la ultima a en la cinta

𝛿 = (𝑞0 , 0, 𝜆)(𝑞0 , 𝑎)
𝛿 = (𝑞0 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 𝜆, 𝑍)(𝑞2 , 𝑋)
Paso 5.
Al igual que en el paso 4 se desapila la siguiente a
disponible

𝛿 = (𝑞0 , 0, 𝜆)(𝑞0 , 𝑎)
𝛿 = (𝑞0 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 1, 𝑎)(𝑞1 , 𝜆)
𝛿 = (𝑞1 , 𝜆, 𝑍)(𝑞2 , 𝑋)
Paso 6.
Para este ultimo paso se desapila Z y se introduce X
Practicar y
verificar lo
aprendido

Lenguaje L = {0n , 1n ⁄n ≥ 0}
regular
Ejercicios B-2. Gramática del autómata. Estudiante: Alexandra Marcela Villamil

Se define la gramática como:

𝐺 = (Σ, 𝑁, 𝑆, 𝑃)

Σ Alfabeto (son terminales – no se pueden derivar)

Σ = {0,1}

𝑁 Símbolos no terminales (se pueden derivar)

𝑁 = {𝑆, 𝐴}

𝑆 Símbolo inicial (es uno no terminal)

𝑆 = {𝑆}

Producciones

𝑆 ⟶ 0𝑆

𝑆 ⟶ 1𝐴

𝐴⟶𝐵

𝐵⟶𝜆

𝑆 ⟶ 1𝐴

El diagrama de estados
Ejercicios C-1. Autómata de Pila Estudiante Jose Luis Triviño Vargas

EJERCICIO C

Caracterización del autómata a Definición formal

pila
Un autómata de pila es una máquina de
estados finitos capaz de reconocer
gramáticas independientes del contexto y
cuenta con una memoria auxiliar llamada
pila en la cual son insertados los símbolos
de pila de acuerdo con el manejo de last
– in – first- out (LIFO)

Séptupla del autómata

𝐴𝑃 = (𝑄, Σ, Γ, 𝛿, 𝑠, 𝑍0, 𝐹) donde

𝑄: {𝑞0, 𝑞1} Conjunto finito de estados

Σ: {0,1 } Alfabeto finito de entrada

Γ: {𝜆, 𝐴, 𝐵}: Alfabeto de Pila

𝛿: 𝑄 𝑥 Σ 𝖴 {ϵ} 𝑥 Γ → 2𝑄𝑥𝛤∗ Función de

transición 𝛿 (𝑞, 𝑎, 𝑋) → (𝑝, 𝛾), {𝑝, 𝑞} ∈ 𝑄, 𝑎 ∈
Σ 𝖴 {𝜀}, 𝑋 ∈ Γ y Υ ∈ Γ {ϵ }, reemplaza a
X.

𝑠 ∶ 𝑞0 Símbolo inicial del autómata

𝐹 ⊆ 𝑄: 𝑞1 Conjunto de estados finales

𝑍0: Símbolo inicial de la pila

Transiciones
0, 𝑍, 𝐴
0, 𝑍, 𝐴𝐴
1, 𝐴, 𝜆
0, 𝐴, 𝐵
1, 𝐴, 𝜆

Funciones de transición

𝛿(𝑞0, 0, 𝑍) = {(𝑞0, 𝐴)}

𝛿(𝑞0, 0, 𝐴) = {(𝑞0, 𝐴𝐴)}
𝛿(𝑞0, 1, 𝐴) = {(𝑞1, 𝜆)}
𝛿(𝑞1, 0, 𝐴) = {(𝑞1, 𝐵)}
𝛿(𝑞1, 1, 𝐴) = {(𝑞1, 𝜆)}

Equivalencia entre AP por vaciado

de pila y AP por estado final

Un 𝐴𝑃 = (𝑄, Σ, Γ, 𝛿, 𝑠, 𝑍0, 𝐹)puede

reconocer palabras del alfabeto de
entrada de dos formas distintas:

Por estado final:

𝐿𝐹(𝐴𝑃) = { 𝑥 | (𝑞0, 𝑥, 𝑍0) ├ ∗ (𝑝, λ, X), ( p ∈ F,

X ∈ Γ∗}

Por vaciado de pila:

𝐿𝑣(𝐴𝑃) = { 𝑥 | (𝑞0, 𝑥, 𝑍0) ├ ∗ (p, λ, λ), con p ∈

Q}

𝐿𝐹(𝐴𝑃) 𝑦 𝐿𝑉(𝐴𝑃) representan a los

lenguajes reconocidos por el
autómata 𝐴𝑃 por estado final y por
vaciado de pila respectivamente.

Cuando la aceptación se realiza por

vaciado de pila, el conjunto de
estados finales 𝐹 es irrelevante.

Equivalencias de 𝐴𝑃
Dos autómatas a pila (por vaciado de
pila o por estado final), 𝐴𝑃1 y 𝐴𝑃2, son
Ejercicios C-2. Gramática del autómata. Estudiante Jose Luis Triviño Vargas

Identifique la gramática (de forma manual) por la derecha o izquierda y la

caracteriza. Debe incluir el diagrama de estados con los componentes de la
gramática asociados a las variables y a las constantes.
Para hallar la gramática de un autómata se siguen paso a paso un conjunto de
reglas

Paso 1

𝑅 = {𝑍0 → (𝑠, ⊥, 𝑓), 𝑓 ∈ 𝐹}

Se tiene el no terminal inicial 𝑍0, el estado inicial 𝑞0, el símbolo de fin de pila ⊥ y el
estado final 𝑞1, esta regla se debe repetir por cada uno de los estados finales en
este caso sólo
Se tiene el no terminal inicial 𝑍0, el estado inicial 𝑞0, el símbolo de fin de pila ⊥
y elestado final 𝑞1, esta regla se debe repetir por cada uno de los estados
finales en este caso sólo existe un estado final.
𝑍0 → (𝑞0, ⊥, 𝑞1)
Paso 2
{(𝑓, ⊥, 𝑓) → 𝜆, 𝑓 ∈ 𝐹

En este paso se debe tener una regla por cada estado final que exista
en elautómata, no obstante, en este caso sólo existe un solo estado
final.
(𝑞1, ⊥, 𝑞1) → 𝜆

Paso 3

{(𝑝, 𝜆, 𝑝) → 𝜆, 𝑝 ∈ 𝑄

En la tercera regla de transformación se deben tener una regla por cada

uno de losestados que tenga el autómata, en este caso se tienen dos
estados.
(𝑞0, 𝜆,
𝑞0) → 𝜆
(𝑞1, 𝜆,
𝑞1) → 𝜆

Paso 4

{(𝑝, 𝐴, 𝑟) → 𝑥(𝑞, 𝜆, 𝑟), ((𝑝, 𝑥, 𝐴), (𝑞, 𝜆)) ∈ 𝛿, 𝑟 ∈ 𝑄}

Esta indica que por cada transición que se tenga que desapile un carácter y
apile 𝝀y por cada estado que se tenga en el autómata se debe crear una
regla de este tipo.

En este caso se tienen las transiciones 1, 𝐴; 𝜆 y 1, 𝐴; 𝜆 y los estados 𝑞0 𝑦 𝑞1,

por lotanto, se deben colocar 4 reglas
(𝑞0, 𝐴, 𝑞0) → 1(𝑞1, 𝜆, 𝑞0)
(𝑞0, 𝐴, 𝑞1) → 1(𝑞1, 𝜆, 𝑞1)
(𝑞1, 𝐴, 𝑞0) → 1(𝑞1, 𝜆, 𝑞0)
(𝑞1, 𝐴, 𝑞1) → 1(𝑞1, 𝜆, 𝑞1)
Paso4

{(𝑝, 𝐴, 𝑟) → 𝑥(𝑞, 𝐵1, 𝑟1)(𝑟1, 𝐵1, 𝑟2) … (𝑟𝑘−1, 𝐵𝑘, 𝑟), ((𝑝, 𝑥, 𝐴), (𝑞, 𝐵1, 𝐵2 … 𝐵𝑘) ∈ 𝛿 𝑟1, 𝑟2, … … … .
𝑟𝑘−1,𝑟 ∈
𝑄)
(𝑞0, 𝑍, 𝑞0) → 0, (𝑞0, 𝐴, 𝑞0)
(𝑞0, 𝑍, 𝑞0) → 0, (𝑞0, 𝐴, 𝑞1)

(𝑞0, 𝑍, 𝑞1) → 0, (𝑞0, 𝐴, 𝑞0)

(𝑞0, 𝑍, 𝑞1) → 0, (𝑞0, 𝐴, 𝑞1)

(𝑞0, 𝐴, 𝑞0) → 0, (𝑞0, 𝐴, 𝑞0)(𝑞0, 𝐴, 𝑞0)

(𝑞0, 𝐴, 𝑞0) → 0, (𝑞0, 𝐴, 𝑞1)(𝑞1, 𝐴, 𝑞0)

(𝑞0, 𝐴, 𝑞1) → 0, (𝑞0, 𝐴, 𝑞0)(𝑞0, 𝐴, 𝑞1)
(𝑞0, 𝐴, 𝑞1) → 0, (𝑞0, 𝐴,
𝑞1)(𝑞1, 𝐴, 𝑞1)(𝑞1, 𝐴, 𝑞1) →
0, (𝑞1, 𝐵, 𝑞1)

(𝑞1, 𝐴, 𝑞1) → 0, (𝑞1, 𝐵, 𝑞0)

(𝑞1, 𝐴, 𝑞0) → 0, (𝑞1, 𝐵, 𝑞1)
(𝑞1, 𝐴, 𝑞0) → 0, (𝑞1, 𝐵, 𝑞0)

𝑍0 → (𝑞0, ⊥, 𝑞1)
 Trabajo Colaborativo
EJERCICIO A
TRABAJAR

Procedimiento Se tiene un autómata con la siguiente 5-tupla

De 𝑄 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5, 𝑞6} Estados finitos
minimización
Σ = {0, 1} Alfabeto
𝛿 = 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠
𝛿(𝑞0, 0) = 𝑞2
𝛿(𝑞0, 1) = 𝑞3
𝛿(𝑞1, 0) = 𝑞3
𝛿(𝑞1, 1) = 𝑞2
𝛿(𝑞2, 0) = 𝑞0
𝛿(𝑞2, 1) = 𝑞4
𝛿(𝑞3, 0) = 𝑞1
𝛿(𝑞3, 1) = 𝑞5
𝛿(𝑞4, 0) = 𝑞6
𝛿(𝑞4, 1) = 𝑞5
𝛿(𝑞5, 0) = 𝑞2
𝛿(𝑞5, 1) = 𝑞3
𝛿(𝑞6, 0) = 𝑞4
 𝛿(𝑞6, 1) = 𝑞0
𝑠 = 𝑞0 Estado inicial
𝐹 = 𝑞5 Estado final

Paso 1.
Se debe elegir el método para realizar la minimización
(estados equivalentes, conjuntos, por estados iniciales)
se en este caso se realiza por medio del método de
conjuntos.

Paso 2.
Se determinan los datos de interés

𝑀 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }, {0,1}
𝛿 = {𝑞0 , 𝑞5 }
𝑘 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }
𝛴 = {0,1}
𝑠 = {𝑞0
𝐹 = {𝑞5 }
Paso 3.
Se realiza la tabla de transiciones
𝛿(𝑞0 , 0) = 𝑞2 ; 𝛿(𝑞0 , 1) = 𝑞3
𝛿(𝑞1 , 0) =; 𝑞3 𝛿(𝑞1 , 1) = 𝑞3
𝛿(𝑞2 , 0) = 𝑞0 ; 𝛿(𝑞2 , 1) = 𝑞4
𝛿(𝑞3 , 0) = 𝑞1 ; 𝛿(𝑞3 , 1) = 𝑞5
𝛿(𝑞4 , 0) = 𝑞6 ; 𝛿(𝑞4 , 1) = 𝑞5
𝛿(𝑞5 , 0) = 𝑞2 ; 𝛿(𝑞5 , 1) = 𝑞3
𝛿(𝑞6 , 0) = 𝑞4 ; 𝛿(𝑞6 , 1) = 𝑞0
Paso 4.
Se organizan los grupos de acuerdo con los estados
aceptadores no aceptadores
Estado aceptador: {𝑞5 } = 𝑋
Estados no aceptadores: {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞6 } = 𝑌
Paso 5.
Se valida el recorrido de cada conjunto iniciando por el
conjunto X y luego Y

Estado 0 1
𝒒𝟓 Y Y

Estado 0 1
𝒒𝟎 Y Y
𝒒𝟏 Y Y
𝒒𝟐 Y Y
𝒒𝟑 Y X
𝒒𝟒 Y X
𝒒𝟔 Y Y

Paso 5.
Se organizan y se realizan los nuevos conjuntos
equivalentes
𝑋 = {𝑞5 }
𝑀 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞6 }
𝑁 = {𝑞3 , 𝑞4 }
Paso 6.
Se realizan nuevamente los recorridos para cada uno
de los conjuntos generados
X 0 1
𝒒𝟓 M M

M 0 1
𝒒𝟎 M N
𝒒𝟏 N M
𝒒𝟐 M N
𝒒𝟔 N M
 N 0 1
𝒒𝟑 M X
𝒒𝟒 M X

Paso 7.
Se repite el paso 5 y 6 con lo generado nuevamente
𝑋 = {𝑞5 }
𝐴 = {𝑞0 , 𝑞2 }
𝐵 = {𝑞1 , 𝑞6 }
𝐶 = {𝑞3 , 𝑞4

X 0 1
𝒒𝟓 A C

A 0 1
𝒒𝟎 A C
𝒒𝟐 A C

B 0 1
𝒒𝟏 C A
𝒒𝟔 C A

C 0 1
𝒒𝟑 B X
𝒒𝟒 B X

Paso 8.
Se genera la tabla de transición

Estado 0 1
 𝑨 A C
𝑩 C A
𝑪 B X
𝑿 A C

Resultado del
Autómata
minimizado

Notación Identificación de la quíntupla del autómata

formal del 𝑄 = {𝑤 , 𝑢, 𝑧}
autómata Σ = {0,1}
minimizado 𝛿=
𝛿(𝑤, 0) = 𝑤
𝛿(𝑤, 1) = 𝑧
𝛿(𝑢, 0) = 𝑧
𝛿(𝑢, 1) = 𝑤
𝛿(𝑧, 0) = 𝑢
𝛿(𝑧, 1) = 𝑤
𝑠 = {𝑤}
 𝐹 = {𝑤}

Tabla de transiciones
0 1
→ #W W z
z u w

Caracterización El autómata minimizado corresponde a un autómata finito Formalmente

este se define como una 5-upla M = donde Q: conjunto finito de estados
del autómata Σ: alfabeto o conjunto finito de símbolos de entrada.
parte teórica δ: función de transición de estados, que se define como - δ: E x A → Q s:
estado inicial; q0 ∈ Q F: conjunto de estados finales o estados de
aceptación; F ⊆ Q El autómata es finito determinista (AFD) estos
corresponden a aquellos que sólo pueden estar en un único estado
después de leer cualquier secuencia de entrada, para cada entrada sólo
existe uno y un único estado al que éste puede hacer la transición a partir
de su estado actual. En el caso del autómata del ejercicio se puede
observar que tiene un conjunto finito de estados 𝑄, un conjunto finito de
símbolos de entrada Σ, una función de transición que toma un estado, un
símbolo de entrada y devuelve un estado a su vez.

Gramática del 𝑆 → 0𝑆
𝐶 → 0𝑆
autómata 𝐴 → 1𝑆
𝐶→ 𝜆
𝐵 → 0𝐴
𝐴 → 0𝐵
𝑆 → 1𝐵
𝐶 → 1𝐵
𝐵 → 1𝐶
Validación de
cadenas

Practicar y
verificar lo
aprendido
 Referencias Bibliográficas

• Hernández, R. (2010). Practique la teoría de autómatas y lenguajes

formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10

• Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de

autómatas y lenguajes formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
498456&ppg=6

• Vanegas, E. (2016). Máquina de Turing con JFLAP paso a paso explicado –

AUTOMATAS (video). Recuperado de:
https://www.youtube.com/watch?v=lMtkzo_nkS8

• Vanegas, E. (2016). Máquina de Turing con JFLAP paso a paso explicado –

AUTOMATAS (video). Recuperado de:
https://www.youtube.com/watch?v=lMtkzo_nkS8

• Medina A. (2019). Autómatas de Pila. Recuperado de:

https://www.researchgate.net/publication/333930520_Automatas_de_Pila
• Sanchis A. (2017). Autómatas a Pila. Recuperado de:
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/material-de-clase-1/tema-6-automatas-a-pila
• Mayordomo A. (2012). Minimización de AFDs, método y problemas.
Recuperado de:
http://webdiis.unizar.es/asignaturas/TC/wp/wp-
content/uploads/2012/09/121008MinimAFDs.pdf
• Ruiz S. (2016). Minimización de Autómatas Finitos Deterministas.
Recuperado de:
http://www.di-mare.com/adolfo/cursos/2009-2/pp-A71925-A73605-A73869-
A75755.pdf