EJERCICIO 2

Datos de la mquina de Mealy:

M = ({a,b},{1,2},{q0,q1,q2} T,S)

FUNCION TRANSICIN
T a b
q0 q0 q2
q1 q0 q1
q2 q0 q1

FUNCION SALIDA
S a b
q0 1 2
q1 1 2
q2 2 1

1. Identifique los componentes de la mquina mealy

s,Q ,F ,g
Se identifica por la quntupla M = { e , donde:

Q = conjunto finito no vaco de estados

e=
Alfabeto de entrada

s=
Alfabeto de salida
F = Funcin de transicin
 e= {a ,b }

s={1,2 }
{ q 0, a }=q 0 y { q 0, b }=q 2; S={ q 0, a }=1 y { q 0, b }=2
f =

{ q 1, a }=q 0 y { q 1,b }=q 1 ; S= { q 1, a }=1 y { q 1,b }=2

f =

{ q 2, a } =q 0 y { q 2, b }=q 1; S={ q 2, a }=2 y { q 2, b }=1

f =

Q= {q 0, q 1,q 2 }

2. Disee el diagrama de Mealy :

3. Recorra la mquina con al menos una cadena vlida explicando

lo sucedido como en la secuencia de entrada.
Al ingresar el valor:

Ejecutamos el Step para recorrerlo paso a paso y se puede observar que en la

primera a la reemplaza por 1
En el segundo y el tercero ocurre lo mismo al realizar el recorrido
Cuando va a realizar el cuarto recorrido que es una b lo cambia por 2

4. Identifique una cadena que no sea vlida y justifquela porque.

Una cadena no valida seria dar un valor que no est estipulado como
entrada
 5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres
smbolos

6. Identifique en que momento la mquina se detiene.

La mquina se detiene cuando el valor ingresado ya ha sido recorrido

7. Explique cinco caractersticas de la Mquina de Mealy y encuentre

cinco diferencias con las Mquinas de Turing (MT)

Maquina Mealy Maquinas Turing

La salida solo depende de la entrada -
infinita
La entrada es un smbolo del alfabeto
No cuenta con punteros
Se trabaja con dos tablas; tabla de
transiciones y tabla de salidas
Las mquinas de Mealy tiene tantos
estados como elementos tiene el
conjunto Q y son etiquetadas con el
nombre de dicho elemento
La salida depende solo del estado -
finita
La entrada es secuencial, dispositivo de
control, con acceso a una cinta de
entrada y una cinta de salida
Existe un puntero que en cada
momento apunta una posicin de la
cadena de entrada
Una sola tabla de transiciones y salidas
El diagrama de estados puede
obtenerse fcilmente a partir del estado
siguiente y de la salida

EJERCICIO 3
1. Realice la conversin paso a paso de la mquina de Mealy del ejercicio del
punto 2 a la mquina de Moore equivalente. Se debe realizar la explicacin de
cada paso que se realice.

Primero que todo el diagrama de Mealy nos muestra las entradas y salidas

M. MEALY M. MOORE
s s
q: (Q x e , q: ( Q x
q: ( q,a) =b q: ( q) =b
Filas: estado posible de maquina Filas: estados posibles mquina q
q: E Q y Columnas: simbolos del EQ
alfabeto de entrada am E e

FUNCION TRANSICIN
MEALY
T a b
q0 q0 q2
q1 q0 q1
q2 q0 q1
FUNCION SALIDA
S a b
q0 1 2
q1 1 2
q2 2 1

Para Moore nos quedara as:

 FUNCION TRANSICIN
MOORE
T a b
q0 q0 q2
q1 q0 q1
q2 q0 q1
FUNCION SALIDA
S a
q0 1
q1 1
q2 2

2. Identifique los componentes de la Mquina (descrbala).

s,Q ,F ,g
Se identifica por la quntupla M = { e , donde:

e=
Alfabeto de entrada

s=
Alfabeto de salida

Q = conjunto finito no vaco de estados

f = Funcin de transicin
f : Q x e Q
 f(q,a) = q/a e , q Q
g : Funcin Salida

f:Q s , g(q) = b / b s

e= {a ,b }

s={1,2 }
{ q 0, a }=q 0 y { q 0, b }=q 2; g={ q 0, a }=1
f =

{ q 1, a }=q 0 y { q 1,b }=q 1 ; g= { q 1, a }=1

f =

{ q 2, a } =q 0 y { q 2, b }=q 1; g={ q 2, a }=2

f =

Q= {q 0, q 1,q 2 }

3. Disela en un Diagrama de Moore.

4.
4. Recorra la mquina con al menos una cadena vlida explicando lo
sucedido en la secuencia de entrada.

Cuando inicia el recorrido en q0 ya arranca ingresando una a

Luego al darle el nuevo paso le agrega una b

Y para terminar el recorrido sealado le agrega una a

5. Identifique una cadena que no sea vlida y justifquela porque.

En este recorrido no acepta la cadena porque del estado q0 al estado q1 es

la finalizacin y en el recorrido b una a que al terminar le agrega la b pero
no puede seguir recorriendo.