Maquina de estados simple

 Una máquina de estados se enmarca dentro de un modelo de comportamiento de un sistema que tiene entradas y salidas. Las salidas dependen tanto de las entradas actuales, como de las anteriores. Una máquina de estados tiene entonces un conjunto de estados que sirven de intermediarios en esta relación de entradas y salidas, dicha relación hace que el historial de señales de entrada, determine en cada instante un estado de la máquina, de tal manera, que la salida dependa únicamente del estado y las entradas actuales. 

De esta manera, una máquina de estados se denomina Máquina de Estados Finitos (FSM, Finite State Machine) si el conjunto de estados de la máquina es conocido o finito. En la literatura frecuentemente se tienden a confundir las Máquinas de Estado y las Máquinas de Estado Finito, pues ambas pueden ser modeladas computacionalmente. Varios podrían ser los ejemplos en los cuales se podrían contextualizar las FSM, sin embargo, el más popular es la máquina de Turing, la cual se define como una cinta en la que se lee y también se escribe. 

Existen dos tipos de FSM: 

  • Las máquinas Mearly, que tienen un número finito de estados y producen salidas en las transiciones de estado después de recibir los insumos.  
  • Las máquinas Moore, en las que las salidas están determinadas únicamente por el estado actual y no dependen directamente de la entrada. 

En concreto, una máquina de estados finitos M se define formalmente como una quíntupla M=(I,O,S, δ, λ ) Donde, 

  • I: Es el conjuntos de símbolos de entrada finitos y no vacíos 
  • O: Es el conjunto de salida 
  • S: Son los estados 
  • δ : S x I  S Es un estado de la función de transición 
  • λ : S x I  O Es la función de salida
BIBÑIOGRAFIA.

Garcia, E.: «Xilinx: Creating Finite State Machines», Xcell Journal, 2000, 38
https://www.researchgate.net/publication/317421872_Implementacion_de_maquinas_de_estado_basadas_en_rom_en_dispositivos_FPGA_de_xilinx_de_bajo_costo

Comentarios

Publicar un comentario

Entradas populares de este blog

ARREGLO LOGICO GENERICO (GAL)

Imagen
   JAVIER MICHEL FLORES COYOTL   GAL  GAL (Generic Array Logic), en español Arreglo Lógico Genérico, son un tipo de circuito integrado, de marca registrada por Lattice Semiconductor, que ha sido diseñados con el propósito de sustituir a la mayoría de las PAL, manteniendo la compatibilidad de sus terminales. Utiliza una matriz de memoria EEPROM en lugar por lo que se puede programar varias veces. Un GAL en su forma básica es un PLD con una matriz AND reprogramable, una matriz OR fija y una lógica de salida programable mediante una macrocelda. Esta estructura permite implementar cualquier función lógica como suma de productos con un número de términos definido. En los PLDs no reprogramables la síntesis de las ecuaciones lógicas se realiza mediante quema de fusibles en cada punto de intersección de los pines de entrada con las compuertas. En el caso de un GAL es básicamente la misma idea pero en vez de estar formada por una red de conductores ordenados en filas y col...
Leer más

Función "rising_edge" para VHDL

Esta instrucción detecta el flanco ascendente de una  señal  std_ulogic   o  std_logic .  Devolverá verdadero cuando la señal cambie de un valor bajo (  '0' o  'L' ) a un valor alto (  '1' o  'H' ). Ejemplo En este ejemplo, el simulador ejecuta el cuerpo del  if  exactamente una vez por ciclo de reloj, en el flanco ascendente de la señal de reloj. signal clock : std_logic; ... sync_stuff: process (clock) begin if rising_edge(clock) then ... end if; end process; En pocas palabras, cuando detecta un 1 nos devolvera un 1 y si no detecta nada no nos devolvera ningun valor. Referencia The rising_edge function . (s. f.). Computing Science - Simon Fraser University.  https://www2.cs.sfu.ca/~ggbaker/reference/std_logic/1164/rising_edge.html
Leer más

¿Qué es un microprocesador o MPU?

Imagen
Cuando hablamos de  microprocesador , debemos tener en cuenta la evolución del término. Inicialmente, el procesador estaba formado por elementos independientes interconectados entre sí mediante buses. Por ejemplo los registros, el oscilador que da la señal de clock, la ALU, todos eran componentes separados.  Según se fue desarrollando la tecnología y la escala de integración, estos  diferentes componentes se fueron fusionando dentro del mismo circuito . Así se pasó de tener un procesador formado por muchos circuitos integrados interconectados, a tener lo que denominamos  microprocesador , que incorporaba todos estos elementos en un único circuito integrado.  A día de hoy, el uso de los términos  microprocesador y procesador es prácticamente intercambiable , ya que la gran mayoría de las veces se hace uso de microprocesadores.  El procesador constituye el núcleo del computador , denominado también como  CPU  (Unidad Central de Procesa...
Leer más