Autmatas y Lenguajes Formales

1. Teniendo en cuenta el autmata realizar la expresin regular, el lenguaje regular y

mencionar el tipo de autmata (Autmata finito determinista y autmata finito no
determinista).

Autmata Expresin Regular Lenguaje Regular

Autmata

Expresin q0 a q3 por q1= 01 q0 a q3 por q1= 0.0*.1 q0 a q3 por q1= 0.0*.1.

Regular q0 a q3 por q2= 11 q0 a q3 por q2= 1.1 (1.0*.1)*
ER = 01+11 q0 a q3 por q2 y q1= q0 a q3 = 1(0)*
1.1.0*.1 ER = 00*1(10*1)*+
ER = 1(0)*
00*1+11+110*1

Lenguaje {0}{1}U{1}{1} {0}{0}*{1}U{1} {0}{0}*{1}({1}

Regular {1}U{1}{1} {0}*{1})*U{1}({0})*
{0}*{1}

Tipo de Autmata finito Autmata finito determinista Autmata finito no determinista

Autmata determinista
(AFD o
AFND)
 Autmatas y Lenguajes Formales

a) Ejercicio 1.

Expresin regular: 01+11

Lenguaje Regular: (10)U(11)
Tipo de autmata:

0 1
q0 q1 q2

q1 q3

q2 q3

q3

Por la tabla de transiciones se puede establecer que el autmata es un autmata finito no

determinista (AFND).
 Autmatas y Lenguajes Formales

b) Ejercicio 2

Expresin regular: 00*1+1(1+10*1)

m n
Lenguaje regular: { 0 0 1U 1(1 U 10 1)m , n 0 }

Tipo Autmata:

0 1
q0 q1 q2

q1 q1 q3

q2 q1 , q3

q3

 Autmatas y Lenguajes Formales
La tabla de transiciones nos permite ver que ha transiciones vacas, por lo cual este
autmata es finito no determinista.

c) Ejercicio 3

Expresin regular: ((1+00*1)(10*1)*0)*(1+00*1)(10*1)*

q
Lenguaje regular: { (( 1U 0 0m 1 ) ( 1 0n 1 ) p 0 ) ( 1 U 0 0r 1 )( 10 s 1 ) tm, n , p , q ,r , t 0 }

Tipo de autmata:

0 1
q0 q1 q2

q1 q1 q3

q3 q0 q1

En este caso la tabla muestra que cada estado posee una transicin con su respectivo
carcter del lenguaje, lo que permite establecer a este autmata cono un Autmata finito
Determinista (AFN).
Autmatas y Lenguajes Formales