岩波講座 情報科学13
$$M(X,Q,Z,\delta,\omega)$$
$$X : 入力集合$$
$$Q : 状態集合$$
$$Z : 出力集合$$
$$\delta : 状態遷移関数$$
$$\omega : 出力関数$$
数式でハードウェアやソフトウェアを表そうとするとフィードバックや記録、非同期はどうしたら良いのだろうかと思っていました。
数学があって何かしらのアルゴリズムの記述方法があってハードウェアやソフトウェアの機能を表すと別の本で知り、良かったと思っていたのですが、この本を読むと数式で全てを表していたのでびっくりしました。
ブール代数をこの本のように使えば実際の機能を抽象化し評価できるのですね。とても素晴らしい。