UNIVERSIDAD IBEROAMERICANA
UNIBE
Escuela de Ingeniería en Tecnologías
de la Información y Comunicación
Práctica Núm.1
NOMBRE: _ Jan Manuel Báez
MATRÍCULA: 20-0067
I.- Defina un autómata finito que acepte la cadena 100110101.
A) Haga el diagrama de transición correspondiente.
B) Indique cuál es el alfabeto, el estado inicial y el o los estados finales.
A = (Q, (Alfabeto), & , s0, Function)
Q = {s0, s1, s2, s3, s4}
Alfabeto = {0, 1}
Function = {s0}
Estado inicial = Q0
Estado Final = S4
II.- Para la función de transferencia indicada:
# & $ @
q0 q0 q1 q4 q0
q1 q0 q1 q2 q3
q2 q3 q2 q1 q2
q3 q2 q2 q0 q1
q4 q0 q4 q4 q0
a) Complete la misma para que el Autómata tenga dos estados finales o de aceptación.
b) Indique cuál es el Alfabeto y el Conjunto Total de Estados.
c) Elabore el diagrama correspondiente a la misma.
A = {Q, Alfabeto, q0, Function}
Alfabeto = {#, &, $, @}
Function = {q0}
III.- Diseñar un autómata para llenar vasos de refrescos en un negocio de venta de comidas
rápidas. Se dispondrán de tres tamaños de vasos (pequeño, mediano y grande) y dos sabores
de refrescos (limón y uva). Las monedas son de 10, 25 y 50 centavos. El autómata no devuelve
y sólo entrega el refresco con moneda única. Puede tener o no un sabor de refresco, pero
siempre habrá vasos.
a) Diseñe el autómata para esta condición inicial.
A = {Q, Alfabeto, q0, q1,q2, q3, Function}
Alfabeto = {m10, m25, m50, s1, s2, s3, t1, t2, t3}
Q0 = Estado Inicial
Q1 = Disponibilidad
Q2 = Moneda Unica
Q3 = Vaso
M10 = Moneda de 10
M25 = Moneda de 25
M50 = Moneda de 50
S1 = Uva
S2 = Limón
S3 = Sin Sabor (Vacio)
T1 = Pequeño
T2 = Mediano
T3 = Grande
Function = {q0, q1, q2, q3}
b) Diseñe el autómata para el caso en que devuelva ante un pago no exacto.
A = {Q, Alfabeto, q0, q1, q2, q3, q4, Function}
Alfabeto = {m10, m25, m50, s1, s2, s3, t1, t2, t3}
Q0 = Estado Inicial
Q1 = Disponibilidad
Q2 = Moneda Unica
Q3 = Devuelta
Q4 = Vaso
M10 = Moneda de 10
M25 = Moneda de 25
M50 = Moneda de 50
S1 = Uva
S2 = Limón
S3 = Sin Sabor (Vacio)
T1 = Pequeño
T2 = Mediano
T3 = Grande
Function = {q0, q1, q2, q3, q4}
c) Diseñe el autómata para los casos en que no se tiene un tipo de vaso y/o refresco.
A = {Q, Alfabeto, q0, q1,q2, q3, Function}
Alfabeto = {m10, m25, m50,}
Q0 = Estado Inicial
Q1 = Disponibilidad
Q2 = Moneda Unica
Q3 = Vaso
M10 = Moneda de 10
M25 = Moneda de 25
M50 = Moneda de 50
Function = {q0, q1, q2, q3, q4}
Dra. Ing. Rina Familia Teoría de Autómatas y Lenguajes Formales Página 1 de 1