Grupo 6:

Angela Maria Acevedo Ramirez 86032357719

Milton Javier Arias M. 10033882
Juan Pablo Gomez G 4585951

1. Determinar la máquina secuencial capaz de ir calculando la suma parcial de los

números que va recibiendo. Como salida el módulo 3 de dicha suma parcial.
Por ejemplo, si se recibe la cadena 642531, la suma parcial sería 6, 10, 12, 17, 20 y 21; y
la salida que deberá producir la máquina será: 010220.

Σe = {0,1,2,3,4,5,6,7,8,9}
Σs = {0,1,2}
Q={M0,M1,M2}
f=Mi= (Mi -1 + x ) mod 3

F/G 0 1 2 3 4 5 6 7 8 9
M0 M0/0 M1/1 M2/2 M0/0 M1/1 M2/2 M0/0 M1/1 M2/2 M0/0
M1 M1/11 M2/2 M0/0 M1/1 M2/2 M0/0 M1/1 M2/2 M0/0 M1/1
M2 M2/2 M0/0 M1/1 M2/2 M0/0 M1/1 M2/2 M0/0 M1/1 M2/2

2. Describir el lenguaje reconocido por el autómata AF = (Σ, Q, f, q0, F), donde:

Σ = {a, ba}; Q = {q0, q1, q2, q3}; y f representado por la tabla:

F A B
-*q0 q1 Q0
Q1 Q1 Q2
Q2 Q3 Q0
Q3 Q3 Q3

3. Construir autómatas finitos no deterministas que acepten los siguientes lenguajes. Trate
de aprovechar tanto como sea posible el no determinismo.
*a) El conjunto de cadenas basadas en el alfabeto {0, 1, ... , 9} cuyo ultimo digito haya
aparecido antes en la misma entrada.
El nodo inicial es el azul, de el se derivan 9 brazaletes iguales a este. Para esbozar el
problema, se muestra el automata en el caso del numero 1

b) El conjunto de cadenas basadas en el alfabeto {0, 1, ... , 9} tales que el ultimo digito no
haya aparecido antes en la misma entrada.

El nodo inicial es el azul, de el se derivan 9 brazaletes iguales a este. Para esbozar el

problema, se muestra el automata en el caso del numero 1