基本原則 |
ケーススタディ: 警報状態マシン機械を造ること
州の価値はフリップフロップで貯えられる(各フリップフロップはビット記憶1つとして見ることができる)。
(2つの回路はここに調査され、造られる) 私達は各州にあるためにちょうど(入力(腕は、の侵入、タイムアウト武装を解除する)、および現状を使用して)条件を記述しなければならない。 ![]()
これらの条件は転移の状態および滞在の状態である。 次に状態にあるためには、転移の状態および滞在の状態を満たさなければならない。 ![]()
この警報のために、私達は次の同等化を有する:
それ故に、各州のための完全な条件:
論理は各フリップフロップが1つの州だけに対応するとき行われ、easely構造物である場合もある。
|