UNIVERSIDAD AUTÓNOMA DE NUEVO LEÓN

FACULTAD DE INGENIERIA MECÁNICA Y ELÉCTRICA

ELECTRÓNICA DIGITAL I

MODELO MEALY

ING. EDGAR SANCHEZ ZAVALA

NOMBRE: ALFREDO DE ALBA ALVARADO

MATRICULA: 1794507
CARRERA: IEC
No. Lista: 12
HORA: N2

FECHA DE ENTREGA: 11/11/2020

 Índice

.
Introducción…………………………………………………3

Desarrollo……………………………………………………7

Conclusión……………… …………………………………10

Referencia bibliográfica……………………………………11
Introducción:

Las Maquinas de estados Finitos conocidas como Finite State

Machines por su traducción al inglés, nos sirven para realizar
procesos bien definidos en un tiempo discreto. Reciben una
entrada, hacen un proceso y nos entregan una salida.

Una máquina de estados finitos en un modelo abstracto para

la manipulación de símbolos, nos permiten saber si una cadena
pertenece a un lenguaje o nos pueden generar otro conjunto
de símbolos como resultado. Toman valores discretos: bits 0 a
1.

Los Autómatas se caracterizan por tener un estado inicial,

reciben una cadena de símbolos, cambian de estado por cada
elemento leído o pueden permanecer en el mismo estado.
También tienen un conjunto de Estados Finales o Aceptables
que nos indican si una cadena pertenece al lenguaje al final de
una lectura.

Maquinas Secuenciales = Autómatas Finitas

Los autómatas finitos se pueden representar mediante grafos

particulares, también llamados diagramas de estados finitos,
de la siguiente manera:
- Los estados Q se representan como vértices, etiquetados con
su nombre en el interior.

- Una transición δ desde un estado a otro, dependiente de un

símbolo del alfabeto, se representa mediante una arista
dirigida que une a estos vértices, y que está etiquetada con
dicho símbolo.

- El estado inicial q0 se caracteriza por tener una arista que

llega a él, proveniente de ningún otro vértice.

- El o los estados finales F se representan mediante vértices

que están encerrados a su vez por otra circunferencia.

Autómata finito determinista:

Un autómata finito determinista (abreviado AFD) es un

autómata finito que además es un sistema determinista; es
decir, para cada estado q ∈ Q en que se encuentre el autómata,
y con cualquier símbolo a ∈ Σ del alfabeto leído, existe siempre
a lo más una transición posible δ(q,a).

Autómata finito no determinista:

Un autómata finito no determinista (abreviado AFND) es aquel

que, a diferencia de los autómatas finitos deterministas, posee
al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del
alfabeto, existe más de una transición δ(q,a) posible.
Modelo Mealy:

Es un tipo de máquina de estados finitos que genera una salida

basándose en su estado actual y una entrada. Esto significa
que el Diagrama de estados incluirá ambas señales de entrada
y salida para cada línea de transición. En contraste, la salida
de una máquina de Moore de estados finitos (el otro tipo)
depende solo del estado actual de la máquina, dado que las
transiciones no tienen entrada asociada. Sin embargo, para
cada Máquina de Mealy hay una máquina de Moore
equivalente cuyos estados son la unión de los estados de la
máquina de Mealy. Básicamente su diseño se usa para
detectar secuencias predefinidas.

Las máquinas de Mealy suministran un modelo matemático

rudimentario y eficiente para las máquinas de cifrado.
Considerando el alfabeto de entrada y salida del alfabeto
Latino, por ejemplo, entonces una máquina de Mealy puede
ser diseñada para darle una cadena de letras (una secuencia
de entradas), esto puede procesarlo en un string cifrado (una
secuencia de salidas).
Desarrollo:

Modelo Mealy:

Tablas de verdad:
Mapas de Karnaugh:

Diagrama del circuito:

Simulación:

Conclusión:

Mi conclusión en esta práctica es que nos sirve mucho para

aprender y desarrollar la elaboración de circuitos electrónicos
digitales y de todos los componentes que utilizamos, en esta
práctica comprendí más sobre el tema y el funcionamiento de
los Autómatas Finitas y del Modelo de Mealy, gracias a sus
mapas K me resulto de gran utilidad su funcionamiento ya que
se puede usar en varias áreas que lo necesiten donde ocupen
mostrar una secuencia predefinidas.
Referencias Bibliográficas:

FUNDAMENTOS DE SISTEMAS DIGITALES

Thomas L. Floyd
PEARSON EDUCACIÓN S.A., Madrid, 2006

http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Sum
mer_Research_files/maquinasef.pdf