AUTOMATAS Y LENGUAJES FORMALES

TAREA 3
CONSTRUCCIÓN DE AUTÓMATAS DE PILA

PRESENTADO POR:

JORGE JONATHAN FIQUE

GRUPO:
301405_28

PRESENTADO A:
VERMEN RAINER AYALA

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

SEPTIEMBRE DE 2020
BOGOTÁ
EJERCICIOS A DESARROLLAR

EJERCICIO A
TRABAJAR

CARACTERIZA Identificación de la Septupla

CIÓN DEL
AUTÓMATA A Alfabeto de entrada
PILA ∑= {0,1, λ}
Alfabeto de la pila
R = {a,X,Z λ }
Conjunto de estados
Q= {q0,q1,q2}
Símbolos especiales
A0= λ
Estado Inicial de autómata
q0 ϵ Q = {q0}
Conjunto de estados finales
FCQ = {q2}

Tabla de transición

F: ơ = {q0,0, λ },{q0,a}
F: ơ = {q0,1, a },{q1, λ }
F: ơ = {q1,1, a },{q1, λ }
F: ơ = {q1, λ, z },{q2, x }

Definición del autómata

El autómata con el que estamos trabajando es un autómata

de pila con 3 estados donde el lenguaje de entrada es
binario 0,1 y el alfabeto de pila es az.
PROCEDIMIEN CADENA 0011λ.
TO DE PASO A
PASO DEL PASO 1
RECORRIDO DE armamos la cadena, tabla de transiciones, el tablero de estados y
UNA CADENA la pila

PASO 2
la pila inicia con la letra Z como estado inicial

PASO3
la primera transición corresponde a 0 el cual apila una a, en el
estado q0 y no apila nada en q1

PASO4
la segunda transición corresponde a 0 el cual apila una a, en el
estado q0

PASO5
la tercera transición corresponde a 1 el cual des apila una a, en el
estado q0 y no apila dada en q1

PASO6
la cuarta transición corresponde a 1 el cual des apila una a, en el
estado q1 y no apila dada en q1
 PASO7
la quinta transición corresponde a λ. el cual des apila una Z, en el
estado q1 y apila una x en q2

PASO8
en este paso el autómata llega a su final y es aceptado

PRACTICAR Y COMPROBACION DE 5 CADENAS VALIDAS

VERIFICAR LO COMPROBACION DE 5 CADENAS INVALIDAS
APRENDIDO
LENGUAJE (b*ab*c)*b*ab*
REGULAR
Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa.

EJERCICIO A
TRABAJAR

CARACTERISTICAS Identificación de la quíntupla

DEL AUTOMATA
M = ({q0, q1, q2} {a, b, c} {q0, q1})
K = {q0, q1, q2}
S = {a, b, c}
S = q0
F = q1

Tabla de transición
 A B C
Q0 q1,q2 -- --
Q1 -- q1,q0 q2
Q2 -- q1 --

El autómata con el que estamos trabajando es un

autómata finito no determinista ya que podemos ir
con Q0 a y a Q1 ,Q0 a Q2 con una misma letra y
esta cualidad solo la tiene este tipo de autómata. Es
decir puedo llegar por 2 o más caminos a mi estado
de aceptación.
También podemos ver que posee 3 estados y un solo
final.
su alfabeto está compuesto por a,b y c

A B C
q0 q1q2 -- --
PROCEDIMIENTO DE q1q2 -- q1q0 q1
CONVERSION PASO q1q0 q1q2
A PASO q1 -- q1q0 q2
q2 q1

AUTOMATA FINAL
CONVERTIDO

PRACTICAR Y IMÁGENES DEL SIMULADOR JFLAP

APLICAR LO
APRENDIDO
Colaborativo
EJERCICIO A TRABAJAR

Identificación de la quíntupla

M = ({q0, q1, q2,q3,q4,q5} {a, b, c} {q3,q4,q5})

K = {q0, q1, q2,q3,q4,q5}
S = {a, b, c}
S = q5
F = q4,q3

Tabla de transición

A B C
Q0 q1,q2 -- --
Q1 -- q1,q0 q2
Q2 -- q1 --
NOTACIÓN FORMAL
DEL AUTÓMATA
MINIMIZADO
El autómata con el que estamos trabajando es un
autómata finito no determinista ya que podemos
ir con Q0 a y a Q1 ,Q0 a Q2 con una misma
letra y esta cualidad solo la tiene este tipo de
autómata. Es decir puedo llegar por 2 o más
caminos a mi estado de aceptación.
También podemos ver que posee 3 estados y un
solo final.
su alfabeto está compuesto por a,b y c

CARACTERIZACIÓN
DEL AUTÓMATA PARTE A B C
TEÓRICA q0 q1q2 -- --
q1q2 -- q1q0 q1
q1q0 q1q2
q1 -- q1q0 q2
q2 q1
 CARACTERIZACIÓN
DEL AUTÓMATA PARTE
TEÓRICA
VALIDACIÓN DE 5 cadenas aceptadas
CADENAS 5 rechazadas
IMÁGENES DEL SIMULADOR JFLAP

PRACTICAR Y APLICAR
LO APRENDIDO