UNIVERSIDAD NACIONAL ABIERTA Y

A DISTANCIA - UNAD

AUTMATAS Y LENGUAJES
FORMALES
REALIMENTACIN MOMENTO

EJERCICIO 1
TABLA
ER

ER1
ER2
ER3

ER4
ER5

(0(1)*) + 1
+ 1+( + 1)( + 1)*( + 1)
0 + ( + 1)( + 1)*0
1*0 + 1*0( +0+1)*( +0+1)
((0+1)1)

ER SIMPLIFICADA

01*+1
1*
1*0
1*0(0+1)*
(01+11)

Pueden variar,
existen varias
opciones

ER ALTERNA O
EQUIVALENTE

Lo importante
es que lean
las mismas
cadenas

EJERCICIO 1:ER ALTERNA O EQUIVALENTE

Se muestra la ER
2:
1* que significa
que lee o no uno o
varios unos es
decir acepta vaco
o lambda

Para agregar
vaco que es
diferente a 0,
como se muestra
en las cadenas

EJERCICIO 2
5-tupla (K, , , s, F) donde:
M = ({q0, q1} , {0, 1} , , q0, {q1})
K ={ q0, q1}
={0, 1)
s = q0
F = q1
Donde la funcin : {q0, q1} {0, 1} {q0,
q1} viene dada por:
(q0, 1) = q0
(q0, 0) = q1
(q1, 0) = q1
(q1, 1) = q1

EJERCICIO 2: TABLA DE TRANSICIN

Estado
Inicial

Estado
Final

Las transiciones son las siguientes:

(q0, 1) = q0
(q0, 0) = q1
(q1, 0) = q1
(q1, 1) = q1
0

Q0

q1

q0

Q1

q1

q1

EJERCICIO 2
El trmino determinista hace referencia al hecho de
que para cada entrada slo existe uno y slo un estado
al que el autmata puede hacer la transicin a partir de
su estado actual
Tengo siempre
como mucho una
opcin desde un
estado si leo un
smbolo

Es un autmata Finito Determinista:

Cada combinacin (estado, smbolo de
entrada) produce un solo estado

El estado inicial q0 puede ir a 1 o a 0

El estado final q1 puede ir a 1 o a 0
Cada estado cumple una sola condicin
que solo puede estar en un nico estado
despus de leer cualquier secuencia de
entradas

EJERCICIO 3
Desde q0 con el smbolo
0 hay dos opciones
posibles, al igual que
desde q1 con el smbolo
0 hay dos opciones

Conversin autmata Finito No

Determinista:
Cada combinacin (estado, smbolo de
entrada) puede estar en varios estados de
manera simultanea
El estado inicial q0 con smbolo 0 puede ir
a los estados q0 o a q2
El estado final q1 con smbolo 0 puede ir a
los estados q1 o a q2

EJERCICIO 3
5-tupla (K, , , s, F) donde:

M = ({q0, q1,q2} , {0, 1} , , q0, {q2})

K ={ q0, q1,q2}
={0, 1)
s = q0
F = q2
Donde la funcin : {q0, q1,q2} {0, 1} {q0, q1,q2}
viene dada por:
(q0, 0) = q0
(q0, 0) = q2
(q0, 1) = q1
(q1, 0) = q1
(q1, 0) = q2
(q2, 1) = q2

EJERCICIO 2: TABLA DE TRANSICIN

Estado
Inicial

Estado
Final

Las transiciones son las siguientes:

(q0, 0) = q0
(q0, 0) = q2
(q0, 1) = q1
(q1, 0) = q1
(q1, 0) = q2
(q2, 1) = q2

Q0

Q0, q2

q1

Q1

Q1,q2

Q2

q2

EJERCICIO 3
CADENAS VALIDAS IGUALES