コンテンツページを表示する。 | ナビゲーションへ移動
FSP では，代入によってより簡単な定義とすることができます．
ON と OFF を繰り返すスイッチをモデル化すると以下のようになります．
SWITCH = OFF,OFF = (on -> ON),ON = (off-> OFF).
ON を代入すると以下のように．
SWITCH = OFF,OFF = (on -> (off-> OFF)).
さらに代入をする．
SWITCH = (on -> off-> SWITCH).
LTS はどれも以下のようになります．
