Implication table とは

暗黙表は、状態マシンの状態の最小化を容易にするために使用されるツールです。概念は、すべての状態が他のすべての状態と結合でき、可能でない組み合わせを排除できると仮定して開始することです。不可能な組み合わせがすべて除去された場合、残りの状態の組み合わせは有効であり、したがって組み合わせることができます。
手順は次のとおりです。
 含意表の状態組み合わせの可能性を列挙すること、状態が異なる出力を生成するため不可能な組み合わせを排除すること、組み合わせが以前に排除された可能性の同等性に依存するため不可能な組合せを排除すること、 。