Maquina mili

La máquina de Mealy es una máquina de estados finitos cuya secuencia de salida (a diferencia de la máquina de Moore ) depende del estado de la máquina y de las señales de entrada. Esto significa que en el gráfico de estado, cada borde corresponde a algún valor (símbolo de salida). Las señales salientes se escriben en los vértices del gráfico del autómata Mealy, y la condición de transición de un estado a otro, así como las señales entrantes, se asignan a los arcos del gráfico. Nombrado en honor a George Mealy , un matemático e informático que inventó este autómata.

El autómata harinoso es el conjunto , donde ${\boldsymbol {A=(S,X,Y,\delta,\lambda,S_{0)))))$

$S$ es un conjunto finito no vacío de estados de autómatas;
$X$ es un conjunto finito no vacío de símbolos de entrada;
$Y$ es un conjunto finito no vacío de símbolos de salida;
$\delta :S\times X\rightarrow S$ es una función de transición que asigna pares de símbolos de estado/entrada al siguiente estado correspondiente;
$\lambda :S\times X\rightarrow Y$ es una función de salida que asigna pares de símbolos de estado/entrada al símbolo de salida correspondiente;
$S_{0}\en S$ es el estado inicial.

Codificación de máquina harinosa:

El vértice (operador o lógico) después del vértice "Inicio", así como la entrada del vértice "Fin" están marcados con el símbolo S 1 , los vértices después del operador están marcados con el símbolo S n (n=2 ,3..).

Presentación

Matriz de función de transición

$S$ / $X$	$C_{1}$	$C_{2}$	$C_{3}$
q 1	q 1 / S	q 2 / U 1	q 3 / U 2
q2_ _	q 1 / D 1	q 2 / S	q 3 / U 1
q 3	q 1 / D 2	q 2 / D 1	q 3 / S

Leyenda

$C_{yo}$ — símbolos de entrada;
$q_{yo}$ — Estados internos
$tu_{i}$ , , — Símbolos de salida. $D_{yo}$ $S$
$q_{yo}$ / - función de transición $S$

Véase también

Simulador de autómatas multiplataforma JFLAP , máquinas de Turing, gramática, dibujo de gráficos de autómatas
Máquina de Moore contra máquina de Mealy
Subfusil moore

Literatura

Mealy, George H. Un método para sintetizar circuitos secuenciales . - Boletín técnico de Bell Systems, 1955. - P. 1045-1079. (Inglés)
Roth, Charles H. Jr. Fundamentos del Diseño Lógico . - Thomson-Ingeniería, 2004. - Pág . 364 -367. — ISBN 0534378048 . (Inglés)