Revista de Ingeniería Eléctrica y Tecnología Electrónica

Simplificación de máquinas secuenciales incompletamente especificadas

V.C. Prasad

Simplificación de máquinas secuenciales incompletamente especificadas

La mayoría de los libros de pregrado y la literatura de investigación describen métodos basados ​​en conjuntos compatibles para reducir el número de estados de una máquina secuencial sincrónica/asincrónica especificada de forma incompleta. A diferencia de esto, en este artículo se utilizan conjuntos de estados incompatibles para este propósito. Se presenta una técnica simple para generar todos los conjuntos incompatibles (compatibles) máximos a partir de pares de estados compatibles (incompatibles). La generación de conjuntos incompatibles máximos tiene algunas ventajas. 1) El conjunto más grande nos indica el número de estados de la máquina más pequeña. Por lo tanto, podemos saber qué tan "buena" es la máquina mínima. 2) Podemos saber si la minimización es necesaria o no. Luego se minimiza utilizando un concepto mejorado de minimalidad. Los símbolos de los estados de la máquina mínima se asignan a los estados en conjuntos incompatibles de modo que no haya dos estados incompatibles con el mismo símbolo. Este enfoque proporciona una máquina mínima en comparación con algunos métodos para máquinas sincrónicas que prueban varias posibilidades. Se da un ejemplo para mostrar que una máquina mínima convencional puede ser no mínima con respecto a la minimalidad introducida aquí. La minimalidad mejorada tiende a proporcionar la máquina más pequeña.