Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
AUTÓMATAS.
LENGUAJES FORMALES
PRESENTADO:
MICHAEL BRAYAN PINILLA COY CODIGO: 1033735495
FABIAN PINZON RODRIGUEZ CODIGO: 80818364
EDITH JHOANA GUZMAN CODIGO: 1105781012
DIEGO ALBERTO RIOS PENALOZA CODIGO: 80723035
PRESENTADO A:
JHEIMER JULIAN SEPULVEDA
INTRODUCCION .............................................................................................................................. 3
OBJETIVOS ....................................................................................................................................... 4
ACTIVIDADES A DESARROLLAR ................................................................................................ 5
BIBLIOGRAFÍA............................................................................................................................... 27
INTRODUCCION
El trabajo presentado a continuación consta de una serie de actividades que tienen como
propósito aplicar los conocimientos adquiridos con las fuentes de apoyo suministradas por el
tutor de curso, las cuales son pieza fundamental para la realización de las actividades
planteadas.
OBJETIVOS
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.
EJERCICIO A
TRABAJAR
Caracterización del - Identificación
autómata Autómata de tipo no determinista (AFND)
q0,q1,q2
Estado Inicial q0
Estado final q2
Lenguajes reconocidos 0 y 1
Procedimiento de Expresión(1 ∗ (0 + 001 ∗)) ∗ 1(1 ∗ (0 + 001 ∗))
conversión de
Autómata Finito a
Expresión Regular
paso a paso
5-Tupla:
Σ = {0,1}
𝑠 = 𝑞0
𝐹 = 𝑞2
2.
EJERCICIO A
TRABAJAR
q0,q1,q2
Estado Inicial: q0
Estado Final: q2
Lenguajes reconocidos 0 y 1
Procedimiento de Expresión:
conversión de
Autómata Finito a (0(1 + 0) ∗ 00 ∗) ∗ (0 + 1(1 + 0)) ∗ 0(1 + 0) ∗ 00 ∗)
Expresión Regular
paso a paso
5-Tupla:
Σ = {0,1}
𝑠 = 𝑞1
𝐹 = 𝑞2
3.
EJERCICIO A
TRABAJAR
q0, q1
Estado Inicial q0
Estado final q1
Lenguaje reconocido 0 y1
𝐾 = {𝑞0, 𝑞1}
Σ = {0,1}
𝑠 = 𝑞0
𝐹 = 𝑞1
4.
EJERCICIO A
TRABAJAR
Estado inicial q0
Estado final q3
Lenguaje reconocido 0 y1
Procedimiento de Expresión:
conversión de
Autómata Finito a 1 ∗ (0(0 + 1) + 10
Expresión Regular
paso a paso
5-Tupla:
Σ = {0,1}
𝑠 = 𝑞0
𝐹 = 𝑞3
Teniendo en cuenta el siguiente autómata realizar los puntos
siguientes:
0 1
𝑞0 𝑞3 𝑞6
𝑞1 𝑞0 𝑞6
𝑞2 𝑞1 𝑞5
𝑞3 𝑞4 𝑞3
𝑞4 - -
𝑞5 𝑞6 𝑞4
𝑞6 - -
0 1
𝑞4 ----- -----
𝑞6 ------ -----
0 1
𝑞0 Y X
Son equivalentes
𝑞1 Y X
𝑞2 Y Y
𝑞3 X Y
𝑞5 X X
0 1
𝑞4 ----- -----
𝑞6 ------ -----
Validación conjunto A
0 1
𝑞0 C X
𝑞1 A X
Validación conjunto B
0 1
𝑞2 A D
Validación conjunto C
0 1
𝑞3 X C
Validamos conjunto D
0 1
𝑞5 X X
Nueva tabla de transición.
0 1
X ---- ----
A C X
A A X
B A D
C X C
D X X
Paso 4. Comprobación
Autómata no determinista:
Autómata determinista:
M = {𝑞 0 , 𝑞1, 𝑞 2 , 𝑞 3 , 𝑞 4 , 𝑞 5 , 𝑞 6 } {0 1}
𝛿 = 𝑞 0 {𝑞 4 , 𝑞 6 }
𝑆 = 𝑞0 Estado Inicial
𝐹 = 𝑞 4 , 𝑞 6 Estados Finales
𝐾 = {𝑞 0 , 𝑞1, 𝑞 2 , 𝑞 3 , 𝑞 4 , 𝑞 5 , 𝑞 6 }
= {0 1} Alfabeto
𝛿(𝑞 6 0) = − 𝛿(𝑞 6 1) = −
Estados no Aceptadores
Y = {𝑞 0 , 𝑞1, 𝑞 2 , 𝑞 3 , 𝑞 5 , }
X 0 1
𝒒𝟒 - -
𝒒𝟔 - -
Y 0 1
𝒒𝟎 Y X Equivalentes
𝒒𝟏 Y X 𝑞0 , 𝑞1 . 𝑞2 , 𝑞5
𝒒𝟐 Y Y
𝒒𝟑 X Y No Equivalentes
𝒒𝟓 X X 𝑞3
Nuevos conjuntos
X = {𝑞 4 , 𝑞 6 } M = {𝑞 0 , 𝑞1 , 𝑞 2 , 𝑞 5 } Z = {𝑞 3 }
X 0 1
𝒒𝟒 - -
𝒒𝟔 - -
M 0 1
𝒒𝟎 Z X
𝒒𝟏 M X
𝒒𝟐 M M
𝒒𝟓 X X
z 0 1
𝒒𝟑 X Z
X = {𝑞 4 , 𝑞 6 } N = { 𝑞2, 𝑞5} A = {𝑞 0 , 𝑞1 } Z = {𝑞 3 }
X 0 1
𝒒𝟒 - -
𝒒𝟔 - -
N 0 1
𝒒𝟐 A N
𝒒𝟓 X X
A 0 1
𝒒𝟎 Z X
𝒒𝟏 A Z
z 0 1
𝒒𝟑 X Z
X = {𝑞 4 , 𝑞 6 } Z = {𝑞 3 } A = {𝑞 0 } B = { 𝑞1 } C = { 𝑞2} D = { 𝑞5}
X 0 1
𝒒𝟒 - -
𝒒𝟔 - -
Z 0 1
𝒒𝟑 X Z
A 0 1
𝒒𝟎 Z X
B 0 1
𝒒𝟏 A X
C 0 1
𝒒𝟐 B D
D 0 1
𝒒𝟓 X X
Paso 3. Creación nueva Tabla de Transición
0 1
X - -
Z X Z
A Z X
B A X
C B D
D X X
Todas las cadenas que empiezan por el símbolo a seguidas por muchas
{a} o seguidas de una o muchas cadenas con el símbolo { b}
Paso 1. Validaciones
Para Estado Final
Para Pila Vacía
La MT (M):
Y se define así:
δ(q0,a) = (q0,a,R)
δ(q0,b) = (q0,b,R)
δ(q0,c) = (q0,c,R)
δ(q0,”) = (q1,”,R)
δ(q0,□) = (q2,0,S)
δ(q1,a) = (q1,a,R)
δ(q1,b) = (q1,b,R)
δ(q1,c) = (q1,c,R)
δ(q1,”) = (q0,”,R)
δ(q1,□) = (q2,1,S)
Como resultado de la actividad desarrollada, se puede concluir que los conceptos básicos son
fundamentales y cumplen un papel fundamental para el desarrollo y análisis de las
actividades propuestas para el periodo académico.
REFERENCIAS BIBLIOGRAFICAS