UNIVERSIDAD

GERARDO BARRIOS

FACULTAD DE CIENCIA Y TECNOLOGA

Materia:

Teora de la computacin

Docente:

Lic. Vctor Sandoval

Tema:

Creacin de una Mquina Mealy

Integrantes:

Quintanilla Bentez, Sabel Alberto

Quinez Carranza, Cesia Berenice

Orellana de Joya, Krissia Lilibeth

Portillo Lozano, Miguel ngel

Fecha:

24 de octubre de 2017.
 INTRODUCCIN.

En la teora de la computacin, una Mquina de Mealy es un tipo de mquina de estados

finitos que genera una salida basndose en su estado actual y una entrada.

Esto significa que el Diagrama de estados incluir ambas seales de entrada y salida para cada
lnea de transicin. En contraste, la salida de una mquina de Moore de estados finitos (el otro
tipo) depende solo del estado actual de la mquina, dado que las transiciones no tienen entrada
asociada. Sin embargo, para cada Mquina de Mealy hay una mquina de Moore equivalente
cuyos estados son la unin de los estados de la mquina de Mealy y el Producto cartesiano de los
estados de la mquina de Mealy y el alfabeto de entrada.

Las mquinas de Mealy suministran un modelo matemtico rudimentario y eficiente para las
mquinas de cifrado. Considerando el alfabeto de entrada y salida del alfabeto Latino, por
ejemplo, entonces una mquina de Mealy puede ser diseada para darle una cadena de letras (una
secuencia de entradas), esto puede procesarlo en un string cifrado (una secuencia de salidas). Sin
embargo, aunque se podra probablemente usar un modelo de Mealy para describir una Mquina
Enigma, el diagrama de estados sera demasiado complejo para suministrar medios factibles de
disear mquinas de cifrado complejas.
 OBJETIVOS.

Objetivo General.

Comprender el uso de la mquina de Mealy y su aplicacin.

Objetivos Especficos.

Analizar las diferencias entre la mquina de Mealy y AF.

Resolver ejercicios aplicando el uso de la mquina de Mealy.

 ANTECEDENTES HISTRICOS

Mquina de Mealy

El nombre Mquina de Mealy viene del promotor del concepto: George. H. Mealy, un pionero
de las mquinas de estados, quien escribi Un Mtodo para sintetizar Circuitos Secuenciales, Bell
System Tech. J. vol 34, pp. 10451079, September 1955. Las mquinas de Mealy suministran un
modelo matemtico rudimentario para las mquinas de cifrado. Considerando el alfabeto de
entrada y salida del alfabeto Latino, por ejemplo, entonces una mquina de Mealy puede ser
diseada para darle una cadena de letras (una secuencia de entradas), esto puede procesarlo en un
string cifrado (una secuencia de salidas). Sin embargo, aunque tu podras probablemente usar un
modelo de Mealy para describir una Mquina Enigma, el diagrama de estados sera demasiado
complejo para suministrar medios factibles de disear mquinas de cifrado complejas.

Estructura de Una mquina de Mealy

Es una 6 tupla tipo (Q, e, s, e, s, q0) :

Q es un conjunto finito de estados.

e es un conjunto finito de smbolos llamados el alfabeto de entrada.

s es un conjunto finito de smbolos llamados el alfabeto de salida.

e es la funcin de transicin de entrada donde e: Q e Q

s es la funcin de transicin de salida donde s : Q O

q0 es el estado inicial desde donde se procesa cualquier entrada (q0 Q).

Mealy: Las salidas estn en funcin de dos, el estado presente y las entradas.

Mealy: Dado el estado actual Q. Si llega un valor a la entrada el circuito de lgica /

combinacional (L/C) calcula el estado siguiente y la salida. Cuando llega un pulso de reloj, se
captura el nuevo estado. Defecto: Con el pulso de reloj se captura el nuevo estado y el L/C
recalcula otro estado y una nueva salida.
Autmata Mealy

El autmata Mealy modela un ente que va de un estado actual Q a un estado siguiente Q+1.

Se genera una salida Mealy debido a la transicin entre estados.

La seal de entrada se opera entre transiciones de reloj generndose:

Tendencia a un nuevo estado

La salida Mealy.

La salida Mealy:

Se captura nuevo estado

Se calcula salida Moore

 MARCO TERICO

Modelo de Mealy Si la salida est asociada a los cambios de entrada podemos conceptualizar dos
estados: uno en el que se espera un canto de subida, y el otro cuando se espera el canto de bajada.
Estando en ECS: Mientras la entrada est baja, la salida tambin debe estar baja y debe
permanecer en ECS; cuando en la entrada se presenta un canto de subida la salida debe activarse
a uno y cambiar al estado ECB. Estando en ECB: Mientras la entrada est alta, la salida tambin
debe estar baja y permanecer en ECB; cuando en la entrada se presenta un canto de bajada la
salida debe permanecer baja y cambiar al estado ECB.

Una mquina de Mealy es una MEF cuya salida depende del estado actual, as como la entrada
actual.

Q es un conjunto finito de estados.

es un conjunto finito de smbolos llamados el alfabeto de entrada.

O es un conjunto finito de smbolos llamados el alfabeto de salida.

es la funcin de transicin de entrada donde : Q Q

X es la funcin de transicin de salida donde X: Q O

q 0 es el estado inicial desde donde se procesa cualquier entrada (q 0 Q).

El diagrama de estado de una mquina Mealy se muestra a continuacin:

 JUSTIFICACION

La presente investigacin se enfoca en la mquina de Mealy ya que son de gran importancia en el

rea de la teora de la computacin, porque nos permite crear modelos matemticos que nos sirve
para automatizar o analizar, as como la creacin de nuevos circuitos, las mquinas de mealy
son estados finitos que genera una salida basndose en su estado actual y una entrada, esto
significa que sus salidas dependen tanto de los estados como de las entradas principales. Las
mquinas de mealy tienen tantos estados como elementos, tiene el conjunto Q y son etiquetados
con el nombre de dicho elemento.

El presente trabajo permitira conocer el diseo y construccin de las mquinas de mealy

basndose principalmente en el estudio de los estados.