Documentos de Académico
Documentos de Profesional
Documentos de Cultura
5-tupla
A= (Q, , q0, , A)
Q es un conjunto de estados;
es un alfabeto;
q0 Q es el estado inicial;
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
q0
q1
q2
* q3
* q4
q5
q6
q7
* q8
q9
0
q2
q5
q4
q9
q7
q9
q8
q9
1
q1
q3
q6
q9
q2
q9
q7
Para identificar la ER se analizan las rutas desde el estado inicial q0 hasta cada uno de
los estados finales q3 , q5 , q8 , para identificar cada ruta las nombraremos Rn
R 1=( q 0 , q 3)=11
R 2=(q 0 , q 4 )=00
R 3=(q 0 , q 8) por q 1 , q 6=1110
q3 , q4
, q8
q0 , q1 , q2 , q5 , q6 ,
q7 , q9
Estados finales
Estados no finales
= {0, 1}
6. Identifique los estados equivalentes (para ello muestre cmo evala esas
equivalencias, colocando a los estados candidatos de equivalencia como estados
iniciales). Evidencie el proceso de cmo los evala.
Conjunto x
q3
q4
0
y
y
1
y
y
q8
Nuevos conjuntos
A
q3 , q4
Conjunto y
q0
q1
q2
q5
q6
q7
q9
B
0
y
y
x
y
x
y
0
q8
1
y
x
0
y
y
0
0
Nuevos conjuntos
C
E
G
q0 , q5
q2
q7
D
F
H
q1
q6
q9
x
z
m
s
t
q3
q1
q6
q9
q4
y
F
h
r
p
q0
q2
q7
q8
q5
Nuevos conjuntos
0
{q9,q7}
---------{q2,q9}
{q5}
{q4}
{q8}
{q9}
---------
A = {q3,q4}
B = {q8}
C = {q0,q5}
D = {q1}
E = {q2}
F = {q6}
G = {q7}
H = {q9}
{q9,q7}
{q6,q9}
{q2,q9}
0
{q9}
{q8}
{q4}
1
{q6,q9}
{q7}
{q1}
{q3}
--------{q9}
----------------1
-------{q9}
--------
=G
=F
=E
#A
#B
-> C
D
E
F
G
H
0
G
-------E
C
A
B
H
--------
1
F
G
D
A
-------H
---------------
M = (K, , , s, F)
K = { a,b,c,d,e,f,g,h } estados del automata
= {0,1} es el alfabeto de entrada
= es la funcion de transicion, que a partir de un estado y un simbolo del alfabeto obtiene
un nuevo estado.
L=
ser el de las cadenas especificas1010+ 1110+ 00+11 }
12. (Autmata minimizado) Identifique su gramtica (de forma manual) por la derecha
y caractercela. Debe incluir el diagrama de estados con los componentes de la
gramtica asociados a las variables y a las constantes.
13. Realice la gramtica por la izquierda (de forma manual) y compare si esta
gramtica acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su
respuesta