AUTOMATAS Y LENGUAJES FORMALES

UNIDADES 1, 2, 3 – FASE 6

PRESENTADO POR:

CESAR ENRIQUE ARGUMEDO SUESCUN

CÓDIGO: 1.116.855.300

GRUPO:

301405_98

TUTOR.

EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍAS

TAME ARAUCA

2017
 INTRODUCCION

Los lenguajes regulares son la buena manera de validar campos de texto. Podemos utilizarlas para
obligar la entrada, aplicar reglas del formato, y mucho más hay varios métodos de cómo validar
información y entre ellos, se encuentran los autómatas de Pila que contienen las expresiones
regulares, que tienen parecido a una especie de lenguaje que se puede usar para buscar, remplazar
y sobreponer ciertos patrones en un texto, trabajable casi de manera igual que los autómatas finitos
y no finitos. Un autómata con pila o autómata de pila es un modelo matemático de un sistema que
recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al
lenguaje que el autómata reconoce. El lenguaje que reconoce un autómata a pila pertenece al grupo
de los lenguajes de contexto libre en la clasificación de la jerarquía de Chomsky.
Ejercicio 1:

De cada uno de los siguientes autómatas, realizar el procedimiento paso a paso de hallar la
expresión regular, el lenguaje regular y explicar el tipo de autómata que es:

1.

Expresión Regular

x = rx+s

x= r∗s

𝑆 = 𝑎𝑞0 + 𝑏𝑞2

𝐵 = 𝑎𝑞2 + 𝑏𝑞1

𝐴 = 𝑎𝑞1 + 𝑏𝑞1 + ʎ

𝐴 = 𝑎𝑞1 + 𝑏𝑞1 + ʎ

𝐴 = (𝑎 + 𝑏) 𝑞2 + ʎ

𝐴 = (𝑎 + 𝑏)∗

𝐵 = 𝑎𝑞2 + 𝑏𝑞1

𝐵 = 𝑎∗ (𝑏(𝑎 + 𝑏)∗ )

𝑆 = 𝑎𝑞0 + 𝑏𝑞2
𝑆 = 𝑎∗ (𝑏(𝑎∗ (𝑏(𝑎 + 𝑏)∗ )))

Expresión regular:

𝐸𝑅 = 𝑎 ∗ (𝑏(𝑎∗ (𝑏(𝑎|𝑏)∗ )))

Lenguaje regular:

𝐿
𝑤 ∈ {𝑎, 𝑏} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛𝑎 a 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎,
={ }
𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛𝑎 𝑏, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛𝑎 𝑎 𝑜 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎 𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛𝑎 𝑎 𝑜 𝑏 𝑜 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎 𝑦 𝑏

Tipo de autómata

Es un autómata finito no determinista ya que es un autómata que tiene transiciones por un

símbolo de entrada desde un estado de origen y existe más de una transición posible.

2.

Expresión Regular

x = rx+s

x= r∗s
A = q 0 = 1q 0 + 0q1
B = q1 = 1q 0 + 0q 2
S = q 2 = 1q 0 + 0q 2 + ʎ

S = q 2 = 1q 0 + 0q 2 + ʎ
𝑆 = 𝑞2 = (1 + 0)𝑞2 + ʎ
𝑆 = 𝑞2 = (1 + 0)∗

B = q1 = 1q 0 + 0q 2
𝐵 = 𝑞1 = 1∗ 0(𝑞2 )
𝐵 = 𝑞1 = 1∗ (0(1 + 0)∗ )

A = q 0 = 1q 0 + 0q1
𝐴 = 𝑞0 = 1∗ 0(𝑞1 )

𝐴 = 𝑞0 = 1∗ (0(1∗ (0(1 + 0)∗ )))

Expresión regular:

𝐸𝑅 = 1∗ (0(1∗ (0(1|0)∗ )))

Lenguaje regular:
𝑤 ∈ {1,0} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 1,
𝐿={ 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 , 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 1, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 }
𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛 0 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 0

Tipo de autómata

Es un autómata finito no determinista ya que es un autómata que tiene transiciones por un

símbolo de entrada desde un estado de origen y existe más de una transición posible.
 3.

Expresión Regular
x = rx+s
x= r∗s
S = q 0 = 0q 2 + 1q1
A = q1 = 1q1
B = q 2 = 0q1 + Øq 3
C = q 3 = 1q1

C = q 3 = 1q1
𝐶 = 𝑞3 = 1∗

B = q 2 = 0q1 + Øq 3
𝐵 = 𝑞2 = (0 + ∅)𝑞2
𝐵 = 𝑞2 = (0 + ∅)∗

A = q1 = 1q1
𝐴 = 𝑞1 = 1∗

S = q 0 = 0q 2 + 1q1
𝑆 = 𝑞0 = (0 + ∅)∗ 1(𝑞1 )
𝑆 = 𝑞0 = 1∗ (0 + ∅)∗ (1(1∗ ))
Expresión regular:
𝐸𝑅 = 1∗ (0|∅)∗ (1(1∗ ))
Lenguaje regular:
𝑤 ∈ {1,0} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 1,
𝐿 = { 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 0 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑐𝑎𝑑𝑒𝑛𝑎 𝑣𝑎𝑐𝑖𝑎, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 1 }
𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛 1 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 1

Tipo de autómata
Es un autómata finito no determinista ya que es un autómata que tiene transiciones por un
símbolo de entrada desde un estado de origen y existe más de una transición posible.

Teniendo en cuenta el siguiente autómata realizar los puntos siguientes:

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda:

Es un autómata finito no determinista se realiza la conversión a un autómata finito determinista.

Tabla de transiciones:

ʎ a b c

𝑸𝟎 𝑄1 𝑄2 𝑄0 𝑄4

𝑸𝟏 ∅ 𝑄1 ∅ ∅

𝑸𝟐 ∅ 𝑄4 𝑄0 ∅

𝑸𝟑 ∅ 𝑄5 𝑄1 , 𝑄4 ∅

𝑸𝟒 𝑄1 𝑄3 ∅ 𝑄0

𝑸𝟓 ∅ 𝑄2 𝑄4 𝑄3

𝑸𝟔 = 𝑸𝟏 , 𝑸𝟒 𝑄1 𝑄1 , 𝑄3 ∅ 𝑄0

𝑸𝟕 = 𝑸𝟏 , 𝑸𝟑 ∅ 𝑄1 , 𝑄5 𝑄4 ∅

Nueva tabla de transiciones:

ESTADO TRANSICIONES
a b c
𝑞0 𝑞2 𝑞0 𝑞4
∗ 𝑞1 𝑞1 Ø Ø
𝑞2 𝑞4 𝑞0 Ø
∗ 𝑞3 𝑞5 𝑞4 , 𝑞1 Ø
∗ 𝑞4 𝑞3 Ø 𝑞0
∗ 𝑞5 𝑞2 𝑞4 𝑞3
∗ 𝑞6 𝑞3 , 𝑞1 Ø 𝑞0
𝑞7 𝑞5 , 𝑞1 𝑞4 Ø
Autómata:

Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista

Ahora vamos a crear los nuevos conjuntos, el conjunto de los estados finales
o aceptadores y el conjunto de los estados no aceptadores.
𝐴 = {𝑞1 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }  Estados Aceptadores
𝐵 = {𝑞0 , 𝑞2 , 𝑞7 }  Estados No Aceptadores

Determinamos las iteraciones de los conjuntos, comenzando con el conjunto

de los estados aceptadores
a b c
𝑞1 A θ B
𝑞3 A θ B
𝑞4 A A θ
𝑞5 B A A
𝑞6 A A θ
Procedo a encontramos las iteraciones del conjunto de los estados no
aceptadores
a b c
𝒒𝟎 X X Y
𝒒𝟐 Y X Y
𝒒𝟕 Y X θ

Se separan los conjuntos que contienen iteraciones diferentes en nuevos

conjuntos, y los que contienen iteraciones idénticas en el mismo conjunto,
quedando de la siguiente manera:
A={𝑞6 }
C = {𝑞1 , 𝑞3 }
E = {𝑞4 }
F = {𝑞5 }
G = {𝑞0 }
P = {𝑞2 }
Q = {𝑞7 }

Ahora nuevamente reviso las iteraciones de los nuevos conjuntos

A a b c
𝑞6 Q 𝐶 𝐹

C a b c
𝑞1 C ∅ G
𝑞3 E C ∅

E a b c
𝑞4 P 𝐶 F

F a b c
𝑞5 A 𝐶 ∅

G a b c
𝑞0 P 𝐺 𝐶

P a b c
𝑞2 C 𝐺 ∅

Q a b c
𝑞7 C G ∅
Seguimos dividiendo los conjuntos:
A a b c
𝑞6 Q 𝐶 𝐹

C a b c
𝑞1 C ∅ G

E a b c
𝑞4 P 𝐶 F

F a b c
𝑞5 A 𝐶 ∅

G a b c
𝑞0 P 𝐺 𝐶

P a b c
𝑞2 C 𝐺 ∅

Q a b c
𝑞7 C 𝐺 ∅

S a b c
𝑞3 E C ∅

Graficamos nuestro nuevo autómata ya minimizado, teniendo en cuenta los

nuevos estados y sus transiciones, el cual nos queda de la siguiente manera:
Ejercicio 4: Realizar el autómata a Pila de L = {(a+b)*}

Para la siguiente cadena: bbbaaaabbbaaabbb

Para la cadena: aaabbbaaabbb
Ejercicio 5: Realizar una máquina de Turing de autoría propia y realice:
a. Recorra la máquina con al menos una cadena válida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
La cadena ingresada es 10.

Recibe como entrada un 1.

Pasa la cinta a un 0 y se queda en 𝑞0.

Llega a q1 cambiando un 0 por 1 y avanza a la derecha.

Después reemplaza a 1 por 1 y retrocede.

Después reemplaza a 1 por vacío y avanza a la izquierda, llegando al estado q3.

 Después reemplaza a 1 por vacío y avanza a la izquierda llegando al estado q4.

Después reemplaza a vacío por vacío y avanza a la izquierda llegando a q5.

Después reemplaza a vació por vació y avanza a la izquierda llegando a q6 que

es el estado aceptador.
b. Identifique una cadena que no sea válida y justifíquela porque
Cadena no valida 001.
 Esta cadena es inválida porque no tiene los ceros necesarios para reemplazar
durante su recorrido por los estados.
c. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos
d. Identifique en que momento la máquina se detiene.

La máquina se detiene cuando llega al estado de aceptación y la cabeza de la

cinta está sobre un espacio en blanco.
 CONCLUSIONES

En el anterior trabajo se pusieron en práctica la temática vista de las tres unidades del curso de
autómatas y lenguajes formales.
 BIBLIOGRAFIAS

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas
Para Informáticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=
es&site=eds-live&ebv=EB&ppid=pp_Cover

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=10566114&ppg=10

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73-126).

Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351

González, A. (2017). Minimización de un autómata. Recuperado de:

https://youtu.be/eOynYG8Ibk0