今回は，Mealy風の会議スケジュール管理システムの例である（原書からは変更している）． Mealy風にアクション（初期の状態機械の例だと出力）は，遷移に付随している． Moore風に書くこともできる．但し，Moore型 […]
-
Pages
-
Categories
-
Archives
Monthly Archives: 10月 2014
KAOS (71) 図式を使用する: 状態機械図 (4.3.7ｰ2)
17/10/2014 – 8:04 AM
有限状態機械は，記憶素子を持つスイッチング回路からコンピュータ全体に至るシステム理論的モデルでもあるし，またコンピュータのプログラムの構造など，ソフトウェアシステムを説明するときにも用いられる重要な概念である． 前回の続 […]
KAOS (70) 図式を使用する: 状態機械図 (4.3.7ｰ1)
16/10/2014 – 7:55 AM
日が昇るとどうなるか．夏には太陽と共にたくさんの鳥が歌を奏でることを知っている．多くのことが一度に起こることを記述するとしよう．それはひとことで言えば，並列性である．太陽は，全ての鳥にひとつずつメッセージを送信しないとい […]