FSP の式変形
by
takeuchi
—
last modified
2008-11-23 13:23
FSP では，代入によってより簡単な定義とすることができます．
ON と OFF を繰り返すスイッチをモデル化すると以下のようになります．
SWITCH = OFF,
OFF = (on -> ON),
ON = (off-> OFF).
ON を代入すると以下のように．
SWITCH = OFF,
OFF = (on -> (off-> OFF)).
さらに代入をする．
SWITCH = (on -> off-> SWITCH).
LTS はどれも以下のようになります．
