Máquinas de Estados

MÁQUINAS DE ESTADOS
Máquinas de estados finitos

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. Debido a su funcionamiento se puede definir las
máquinas de estados finitos en dos grupos.
● Máquinas de estados finitos transductoras

Convierten una secuencia de señales de entrada en una secuencia de salida,
pudiendo esta ser binaria o más compleja, según la entrada actual no solo
dependiendo del estado y pudiendo prescindir de un estado inicial.
● Máquinas de estados finitos aceptadoras:

llamadas también como reconocedoras o discriminadoras, son aquellas en donde la
salida es binaria, depende únicamente del estado y existe un estado inicial. Puede
decirse, entonces, que cuando la máquina produce una salida positiva es porque ha
reconocido o aceptado la secuencia de entrada y los estados con la salidas positivas
son llamados estados finales.
En estas máquinas existen unas funciones particulares

● Función de salida: que puede tomar como parámetro el estado actual o la transición
de nuestra máquina y arroja un elemento del conjunto de símbolos de salida.
● Función estado: que nos indicará el estado siguiente que deberá adoptar nuestra
máquina según el carácter leído de la cadena de entrada y el estado 11 actual.
La clasificación de estas máquinas depende de la función de salida esta puede tomar como
parámetro el estado o la transición, por tanto tenemos 2 tipos de máquinas, las que
entregan un valor al llegar a un estado (aceptadoras) y las que entregan un valor al
momento de cambiar de estado (transductoras).
Máquina de Moore
Una máquina de Moore es una máquina de estados finitos cuyos salidas solo dependen del
estado presente, mientras la transición al siguiente estado depende del estado en que se
encuentre y de la entrada introducida.
También se debe de resaltar que el estado cambia solo cuando la señal de reloj global cambia
.
Se define como la 6-tupla { S, S0, Σ, Λ, T, G } donde:
● un conjunto finito de estados ( S )
● un estado inicio (también llamado estado inicial) S0 el cual es un elemento de (S)
● un conjunto finito llamado alfabeto entrada ( Σ )
● un conjunto finito llamado el alfabeto salida ( Λ )
● una función de transición (T : S × Σ → S) mapeando un estado y una entrada al
siguiente estado
● una función salida (G : S → Λ) mapeando cada estado al alfabeto salida.
A la derecha se muestra una máquina moore con nueve estados para una red secuencial
que tiene una entrada y una salida. La salida se convierte en 1 y permanece en 1 a partir de
entonces cuando al menos dos ceros y dos unos se han producido como entradas. El
estado inicial es el estado A y el estado final es el estado I. La tabla de estados para este
ejemplo es la siguiente:
Máquina de Mealy
una máquina Mealy es una máquina de estados finitos cuyos valores de salida están
determinados tanto por su estado actual como por las entradas actuales.
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).
Se define como la 6-tupla { S, S0, Σ, Λ, T, G } donde:

● S es un conjunto finito de estados.
● S0 es un estado inicial, el cual es un elemento de S. S0 ∈ S
● Σ es un conjunto finito, llamado alfabeto de entrada.
● Λ es un conjunto finito, llamado alfabeto de salida.
● T es una función de transiciones (T : S × Σ → S)
● G es una función de salida (G : S × Σ → Λ)
Diagrama de estado de una máquina Mealy simple con una entrada y una salida. Una
máquina Mealy simple tiene una entrada y una salida. Cada borde de transición está
etiquetado con el valor de la entrada (mostrado en rojo) y el valor de la salida (mostrado en
azul). La máquina arranca en el estado Si. (En este ejemplo, la salida es la exclusiva o de
los dos valores de entrada más recientes; por lo tanto, la máquina implementa un detector
de bordes, generando un uno cada vez que la entrada cambia y un cero en caso contrario).
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de
acuerdo con una tabla de reglas para así ser capaz de simular la lógica de ese algoritmo.
La máquina funciona con una cinta de memoria infinita dividida en celdas discretas y una
cabeza capaz de moverse por la cinta leer y escribir valores. La máquina coloca su
"cabeza" sobre una celda y "lee" el símbolo allí. Luego, según el símbolo y el propio estado
presente de la máquina en una "tabla finita"de instrucciones especificadas por el usuario, la
máquina escribe un símbolo por ejemplo, un dígito o una letra de un alfabeto finito en el
celda, luego mueve la cinta una celda hacia la izquierda o hacia la derecha, luego según lo
determinado por el símbolo observado y el propio estado de la máquina en la tabla procede
a una instrucción posterior repitiendo el proceso o detiene el cálculo.
Las máquinas de Turing demostraron la existencia de limitaciones fundamentales en el

poder de la computación mecánica. Si bien pueden expresar cálculos arbitrarios, su diseño
minimalista los hace inadecuados para la computación en la práctica.
Teóricamente un lenguaje de programación que es Turing completo es capaz de expresar
todas las tareas que pueden realizar las computadoras; casi todos los lenguajes de
programación son Turing completos si se ignoran las limitaciones de la memoria finita.
Bibliografia
https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados
http://delta.cs.cinvestav.mx/~gmorales/ta/node50.html
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Moore
http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research_files/maquinase
f.pdf
https://en.wikipedia.org/wiki/Moore_machine
https://en.wikipedia.org/wiki/Mealy_machine
https://www.cartagena99.com/recursos/alumnos/apuntes/Tema7_SED_1415%20(1).pdf
https://www.youtube.com/watch?v=iaXLDz_UeYY&ab_channel=Derivando

Máquinas de Estados

Cargado por

Copyright:

Formatos disponibles

Máquinas de Estados

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Máquinas de Estados

Cargado por

Copyright:

Formatos disponibles

MÁQUINAS DE ESTADOS