1.

Teniendo en cuenta el autómata realizar la expresión regular, el lenguaje regular y

mencionar el tipo de autómata (Autómata finito determinista y autómata finito no
determinista).
a)

𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞1 = 01

𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞2 = 11

𝑬𝑹 = 𝟎𝟏 + 𝟏𝟏

 Expresión regular: 01+11

 Lenguaje Regular: (10)U(11)
 Tipo de autómata:

0 1
𝑞0 𝑞1 𝑞2
𝑞1 ɸ 𝑞3
𝑞2 ɸ 𝑞3
𝑞3 ɸ ɸ
Por la tabla de transiciones se puede establecer que el autómata es un autómata finito no
determinista (AFND).
 b)

𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞1 = 0. 0∗ . 1

𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞2 = 1.1

𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞2 𝑦 𝑞1 = 1.1. 0∗ . 1

𝑬𝑹 = 𝟎𝟎∗ 𝟏 + 𝟏𝟏 + 𝟏𝟏𝟎∗ 𝟏

 Expresión regular: 00*1+1(1+10*1)

 Lenguaje regular: {00𝑚 1 𝑈 1(1 𝑈 10𝑛 1)|𝑚, 𝑛 ≥ 0 }

 Tipo Autómata:

0 1
𝑞0 𝑞1 𝑞2
𝑞1 𝑞1 𝑞3
𝑞2 ɸ 𝑞1 , 𝑞3
𝑞3 ɸ ɸ
La tabla de transiciones nos permite ver que ha transiciones vacías, por lo cual este autómata es
finito no determinista.

c)
 𝑞0 𝑎 𝑞3 𝑝𝑜𝑟 𝑞1 = 0. 0∗ . 1. (1. 0∗ . 1)∗

𝑞0 𝑎 𝑞3 = 1(0)∗

𝑬𝑹 = 𝟎𝟎∗ 𝟏(𝟏𝟎∗ 𝟏)∗ + 𝟏(𝟎)∗

 Expresión regular: ((1+00*1)(10*1)*0)*(1+00*1)(10*1)*

𝑞
 Lenguaje regular: {((1𝑈00𝑚 1)(10𝑛 1)𝑝 0) (1𝑈00𝑟 1)(10𝑠 1)𝑡 |𝑚, 𝑛, 𝑝, 𝑞, 𝑟, 𝑡 ≥ 0 }
 Tipo de autómata:

0 1
𝑞0 𝑞1 𝑞2
𝑞1 𝑞1 𝑞3
𝑞3 𝑞0 𝑞1

En este caso la tabla muestra que cada estado posee una transición con si respectivo carácter del
lenguaje, lo que permite establecer a este autómata cono un Autómata finito Determinista (AFN).

Ejercicio 2:

Realizar la conversión del siguiente autómata, si el autómata es AFD convertirlo a AFND y si es

AFND convertirlo a AFD, Se debe mostrar el procedimiento paso a paso.
 0 1
𝑞0 𝑞1 𝑞2
𝑞1 𝑞1 𝑞2
𝑞2 𝑞4 𝑞3
𝑞3 𝑞0 ɸ
𝑞4 𝑞1 ɸ

Según la tabla de transiciones este autómata es un autómata finito no determinista (AFND), por lo
cual se debe transformar este autómata a la forma de autómata finito determinista (AFD).

Para generar los nuevos estados del autómata determinista se deben obtener las cerraduras de
cada estado, que consiste en determinar los estados que poseen transiciones vacías. De esta
forma se procede con el estado inicial de la siguiente forma:

 Cerradura (0)= ɸ → 𝐴 (el símbolo ɸ representa que el estado 𝑞0 no posee transiciones

vacías y la letra A será el primer conjunto o estado del nuevo autómata finito
determinista).

Ahora se necesita evaluar el nuevo conjunto (A), con respecto a los símbolos del alfabeto que en
este caso seria 0 y 1.

0=A

−) {𝐴, 0} = 1 → B (Este nuevo conjunto es el resultado de evaluar el valor de A con respecto

a 0)
 −) {𝐴, 1} = 2 → C

Se requiere ahora evaluar la cerradura de los nuevos conjuntos obtenidos anteriormente, por lo
cual se inicia con el conjunto B.

 Cerradura (1)= ɸ → B

(1)= ɸ → B, en este caso también se puede apreciar que el estado 𝑞1 no posee transiciones vacías.

−) {𝐵, 0} = 1 → B

−) {𝐵, 1} = 2 → C

 Cerradura (2)=1 → C (En este caso la cerradura permite identificar que el estado 𝑞2 posee
una transición vacía hacia el estado 𝑞1 ).

Al evaluar los valores que posee el conjunto C, se puede ver que surgen nuevos conjuntos:

−) {𝐶, 0} = 4,1 → D

−) {𝐶, 1} = 3,2 → E

 Cerradura (4,1)=3 → D

−) {𝐷, 0} = 1,0 → F

−) {𝐷, 1} = 2 → C

 Cerradura (3,2)=2 → E

−) {𝐸, 0} = 0,1,4 → G

−) {𝐸, 1} = 3,2 → E

 Cerradura (1,0)= ɸ → F

−) {𝐹, 0} = 1 → B

−) {𝐹, 1} = 2 →C

 Cerradura (0,4,1)=3 → G

−) {𝐺, 0} = 1,0 → F

−) {𝐺, 1} = 2 →C

De esta forma se puedo obtener los conjuntos que representan los nuevos estados del nuevo
autómata finito determinista. Para organizar esta información se muestra la tabla de estados a
raíz de la información anterior.

0 1
→A B C
B B C
C D E
#D F C
 E G E
F B C
#G F C

Por ultimo queda realizar la representación gráfica de estas transiciones que conforman en
autómata finito determinista que surge mediante el autómata finito no determinista
propuesto anteriormente.

Ejercicio 3:
Teniendo en cuenta el ejercicio anterior, seleccionar el autómata finito determinista (AFD). Con
base en ese autómata desarrolle:
1. Describa la forma matemática del autómata,
2. Plasme la tabla de transición.
3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y describir
cada elemento y la función y significado en el autómata.
Conceptos y definiciones adicionales.
4. Identifique el lenguaje que genera.
5. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada
secuencia.
(No se trata solo de captura las imágenes, estas deben ser explicadas en pie de página o de lo
contrario no tienen validez)
6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes y tres
diferencias que encuentra al realizarlo en los dos simuladores. (Ventajas que ofrezca uno u otro).
7. Genere tres cadenas válidas y dos no válidas.

1. El autómata está compuesto por la quíntupla M con los símbolos (K, Σ, δ, s, F), donde:

K = {A,B,C,D,E,F,G}, identifica el conjunto de estados del autómata

Σ = {0,1}, es el alfabeto de entrada

S = {A}, es el estado inicial

F = {D,G} es un conjunto de estados finales o de aceptación.

δ : K x ∑ → K es la función de transición, que a partir de un estado y un símbolo del

alfabeto obtiene un nuevo estado.
Viene dada por:

δ (A, 0)= B δ (A, 1)= C

δ (B, 0)=B δ (B, 1)=C

δ (C, 0)= D δ (C, 1)= E

δ (D, 0)= F δ (D, 1)=C

δ (E, 0)=G δ (E, 1)=E

δ (F, 0)=B δ (F, 1)=C

δ (G, 0)=B δ (G, 1)=C

M= ({A,B,C,D,E,F,G}, {0,1}, δ, {A}, {D,G}

2.
 0 1
→A B C
B B C
C D E
#D F C
E G E
F B C
#G F C

3.

K = {A,B,C,D,E,F,G}, identifica el conjunto de estados del autómata

Σ = {0,1}, es el alfabeto de entrada

S = {A}, es el estado inicial

F = {D,G} es un conjunto de estados finales o de aceptación.

δ : K x ∑ → K es la función de transición, que a partir de un estado y un símbolo del alfabeto

obtiene un nuevo estado.

4. El lengua que genera este autómata se representa por la expresión regular

R=(1+00*1)(01+00(1+00*1))*0+(1+00*1)(01+00(1+00*1))*1(1+0(1+0(1+00*1))(01+00(1+00*1))*1)
*0(λ+(1+0(1+00*1))(01+00(1+00*1))*0).
 5. La cadena que se va a utilizar será: L={0,0,1,1,0,1,0}

Se inicia el recorrido de los caracteres de la cadena con el 0 en el estado inicial A.

Con el carácter anterior se pasa al estado B, el cual permite permanecer en el o ir al estado C

A continuación con el carácter 1 se pasa al estado C, en el cual se puede ir a el estado final D o a el
estado E

Con el carácter 1 se procede a pasar al estado E que permite ir hacia el mismo o al estado final G
Desde el estado G se puede ir a C con el carácter 1 o a F con el carácter 0

Se volvió al estado C desde el estado G ya que existe la transcion y el carácter que permite esto es
el 1.
Por último se termina el recorrido de la cadena en el estado final D partiendo desde el estado C
con el carácter 0.

6. Diagrama de Moore
 JFLAP VAS

Posee la opción de convertir de AF a

No posee esta opción
expresión regular

Crea estados en dando clic izquierdo en la

opción State que es un icono en forma de
Crea estados uno tras de otro previamente
circulo y se encuentra en la parte superior
dando clic en el icono con forma de circulo
izquierda, que genera una ventana para
ingresar el nombre al estado.

Tiene 11 opciones para escoger la que se

requiere para empezar a trabajar.
Tiene 2 opciones para empezar a trabajar.
No permite mostrar tabla de transiciones.
Permite visualizar la tabla de transiciones.
Permite establecer si una cadena es
aceptada o rechazada por el autómata

7.
 Cadena valida 1={010}

Cadena valida 2= {110}

Cadena valida 3= {00110}

Cadenas no validas