含意表

含意テーブルは、ステート マシンの状態の最小化を容易にするために使用されるツールです。概念としては、まずすべての状態が他のすべての状態と組み合わせることができると仮定し、不可能な組み合わせを排除します。不可能な組み合わせがすべて排除されると、残りの状態の組み合わせは有効となり、組み合わせることができます。

手順は次のとおりです。

1. 状態の組み合わせの可能性を含意表にリストする。
2. 州によって出力が異なるため不可能な組み合わせを排除する。
3. 以前に排除された可能性の同等性に依存する組み合わせであるため不可能な組み合わせを排除する。
4. 除去できなくなるまで上記の手順を繰り返します。

• B. ホールズワース (2014 年 5 月 12 日)。デジタル ロジック デザイン。エルゼビア サイエンス。pp. 195– 。ISBN 978-1-4831-4222-7。