Problemas a desarrollar:

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al autmata

finito que representa la siguiente expresin regular Expresin regular.

1. Realice la descripcin (notacin) (caracterizacin) matemtica del

autmata. (Antes de minimizar)
El autmata finito es de quntupla no determinstica, ya que a partir del estado
actual y del smbolo actual de entrada no se puede determinar de forma exacta
cul ser el estado siguiente.
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4, q5,} identifica el conjunto de estados del autmata
= {0,1}, es el alfabeto de entrada
S = {q0}, es el estado inicial
F = {q2, q3} es un conjunto de estados finales o de aceptacin.
: K x K es la funcin de transicin, que a partir de un estado y un
smbolo del alfabeto obtiene un nuevo estado.
Donde la funcin
: {q0, q1, q2, q3, q4, q5} x {0,1} {q0, q1, q2, q3, q4, q5}

 (q0, 0)= q1
(q1, 0)= q3
(q2, 0)= q5
(q3, 0)= q1
(q4, 0)= q1
(q5, 0)= q5

(q0, 1)= q2
(q1, 1)=
(q2, 1)= q4
(q3, 1)= q2
(q4, 1)= q2
(q5, 1)= q4

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS).

(Antes de minimizar)
0
1
q0
q1
q2
q1
q3

# q2
q5
q4
# q3
q1
q2
q4
q1
q2
q5
q5
q4

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

L= { 0,1 }

=(1+00(00)*1)(1(1+00(00)*1)+00*1(1+00(00)*1))*

El lenguaje que reconoce ser el de todas las posibles cadenas

que

empiecen por 0 o por 1 y que terminen en 0 o 1, bajo ciertas condiciones

(propiedad) que resultan complejas, y por ello se reduce o minimiza el autmata.
4. Identifique la ER y en una tabla de validacin (puede ser de Excel),
verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de
operadores. (Antes de minimizar)
Para identificar la ER se analizan las rutas desde el estado inicial
cada uno de los estados finales
nombraremos

Rn

R1=( q0 , q2 )=00(00)

q2

q3

q0

hasta

, para identificar cada ruta las

R2=( q0 , q3 ) =11(11)

R3=( q0 , q2 ) por q 3 , q4 =11 ( 11 ) 00 ( 00 )

R4 =( q 0 , q 2 ) por q1 , q5 =00 ( 00 ) 11 ( 11 )

R5=( q0 , q2 ) por q 2 ,q 0 ,=011 ( 11 ) 0(00)

ER=

R1 + R2 + R3 + R4 + R 5

Por lo tanto ser:

= (1+00(00)*1)(1(1+00(00)*1)+00*1(1+00(00)*1))*
Por equivalencias y factor comn entre las partes se puede decir que la
Expresin Regular del autmata es:
= (1+00(00)*1)(1(1+00(00)*1)+00*1(1+00(00)*1))*
5. Identifique los estados Distinguibles y los No distinguibles
Minimizacin del Autmata utilizando el mtodo de conjuntos:
Conjuntos Inciales:
q2

q3

Estados finales

,
y

q0

q1

q4

q5

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
q2
q3

0
y

1
y

Conjunto y
q0

0
y

1
y

q1

q4

q5

7. En el proceso de eliminacin de estados, identifique que transiciones se

eliminan y cules se re direccionan. Muestre la tabla de estados
distinguibles
K

y
#x
z
w
n

0
a

1
b

b
n
x
z

b
x
n
w

8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de

Moore

9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata

ya minimizado
Solucin

M = (K, , , s, F)
K = { a,z,b,n,x } estados del autmata
= {0,1} es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
s es el estado inicial, en nuestro caso (y)
F es un conjunto de estados finales, en nuestro caso (x)
10. Identifique El Lenguaje que reconoce. (autmata ya minimizado)
L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas
que empiezan por 0 o por 1 y que terminan en 0 o 1, seguidos de una
combinacin de uno o varios 0 o 1. bajo ciertas condiciones (propiedades) que
resultan complejas (ER), por eso es que se reduce o minimiza el autmata.
Cadenas validas
11
00
111010
0101
000000
Cadenas no validas
10
101
00101
00011
01001

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin

(puede ser de Excel), verifique una cadena vlida y una no vlida. Tenga en
cuenta la jerarqua de operadores. (autmata ya minimizado)
= (1+00(00)*1)(1(1+00(00)*1)+00*1(1+00(00)*1))*
12 Y 13. (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.
Las gramticas son mecanismos generadores de lenguajes, es decir nos indican
cmo podemos obtener o construir palabras de un determinado lenguaje.
Una gramtica independiente del contexto (GIC) es una cudrupla G=(N, , S, P),
donde:
N: es una coleccin finita (no vaca) de smbolos no terminales.
: es un alfabeto.
S: es un no terminal llamado smbolo inicial.
P: un conjunto de producciones tal que P N (N )*.

Los lenguajes generados por una GIC son llamados Lenguajes Independientes
del Contexto (LIC). Es posible probar que la gramtica independiente del contexto
dada por: S aSb|
Para verificar que tipo de gramtica es en el simulador JFLAP nos dirigimos a la
ventana que se exporta despus de haber convertido el DFA a Gramtica (ver
ms adelante) y en el men Test seleccionamos prueba de tipo de gramtica
(Test For Grammar Type).
Par ver qu tipo de gramtica es en el simulador (JFLAP) nos ubicamos en el
men convert y elegimos la opcin Convert to Grammar; esto si el autmata
finito es determinista de lo contrario debemos convertirlo primero en un autmata
finito Determinista y luego realizar el proceso para convertir a la gramtica, en este
caso estamos trabajando con un autmata finito determinstico as que no es
necesario.

En la nueva ventana damos clic en mostrar todas las producciones que quedan
(Show All), Exportamos la gramtica en una nueva ventana (opcin Export).

Al ejecutar nos indica la imagen que es una gramtica regular y una gramtica
libre de contexto alineado por derecha.

14. Con una cadena vlida, genere un rbol de derivacin para la gramtica por
la derecha y demuestre y justifique si la cadena y rbol generado puede ser
ambigua o no.

Ingresamos 111010 Presionamos STAR y luego STEP para ver todo el rbol.
Tambin podemos observar la tabla de derivacin

La gramtica del rbol no es ambigua se trata de una gramtica univoca o nica

ya que es una gramtica libre de contexto que tiene asociado un solo rbol de
derivacin para toda cadena del lenguaje.