 | Este artículo no cita ninguna fuente . ( diciembre de 2013 ) ( Aprenda cómo y cuándo eliminar este mensaje de plantilla ) |
Una máquina de estados finitos con ruta de datos ( FSMD ) es una abstracción matemática que a veces se usa para diseñar lógica digital o programas de computadora .
Un FSMD es un sistema digital compuesto por una máquina de estados finitos , que controla el flujo del programa , y una ruta de datos , que realiza operaciones de procesamiento de datos.
Los FSMD son esencialmente programas secuenciales en los que las declaraciones se han programado en estados, lo que da como resultado diagramas de estado más complejos.
Aquí, un programa se convierte en un diagrama de estado complejo en el que los estados y arcos pueden incluir expresiones aritméticas , y esas expresiones pueden utilizar entradas y salidas externas, así como variables.
Los FSM no utilizan variables ni operaciones / condiciones aritméticas, por lo que los FSMD son más poderosos que los FSM.
El nivel de abstracción de FSMD a menudo se denomina nivel de transferencia de registro .
Un FSMD es equivalente a una máquina de Turing en potencia.
