Taller sobre máquina de estados - estructura de lenguajes

3
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

description

Taller sobre máquinas de estados y automatas finitos no deterministas

Transcript of Taller sobre máquina de estados - estructura de lenguajes

Page 1: Taller sobre máquina de estados - estructura de lenguajes

Grupo 6:

Angela Maria Acevedo Ramirez 86032357719Milton Javier Arias M. 10033882Juan 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 Q0Q1 Q1 Q2Q2 Q3 Q0Q3 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.

Page 2: Taller sobre máquina de estados - estructura de lenguajes

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