電気工学および電子技術ジャーナル

不完全仕様の順序機械の単純化

VCプラサド

不完全仕様の順序機械の単純化

学部生向けの本や研究文献のほとんどでは、不完全に指定された同期/非同期のシーケンシャルマシンの状態数を減らすために、互換セットに基づく方法が説明されています。これとは異なり、この論文では、この目的のために非互換の状態セットを使用しています。互換 (非互換) な状態のペアから、すべての最大の非互換 (互換) セットを生成するための簡単な手法が提示されています。最大の非互換セットの生成には、いくつかの利点があります。1) 最大のセットから、最小のマシンの状態数がわかります。したがって、最小のマシンがどの程度「優れている」かを知ることができます。2) 最小化が必要かどうかを知ることができます。次に、改良された最小性の概念を使用して最小化します。最小のマシンの状態のシンボルは、非互換セット内の状態に割り当てられ、2 つの非互換の状態が同じシンボルを取得することはありません。このアプローチでは、複数の可能性を試す同期マシンのいくつかの方法と比較して、最小のマシンが得られます。ここで紹介した最小性に関して、従来の最小のマシンが非最小になる可能性があることを示す例を示します。改良された最小性は、最小のマシンをもたらす傾向があります。