| 1 順序回路の表現 |
| 1.1 順序回路のモデル 1 |
| 1.2 状態遷移図と状態遷移表 6 |
| 1.3 Mealy 形と Moore 形の相互変換 8 |
| 演習問題 11 |
| 2 状態の等価性と両立性 |
| 2.1 分割と同値関係 12 |
| 2.2 状態の等価性 16 |
| 2.3 状態の両立性 22 |
| 2.4 順序回路の簡約形 29 |
| 演習問題 37 |
| 3 順序回路の入出力応答特性 |
| 3.1 状態の同定 39 |
| 3.2 順序回路の同定 54 |
| 3.3 情報無損失の順序回路 60 |
| 3.4 有限記憶形順序回路 65 |
| 演習問題 71 |
| 4 順序回路の正規表現 |
| 4.1 正規表現の定義と諸性質 74 |
| 4.2 出力の正規表現 76 |
| 4.3 接続系列集合 80 |
| 4.4 б,ωの誘導 83 |
| 演習問題 86 |
| 5 順序回路の実現 |
| 5.1 フリップフロップ 88 |
| 5.2 フリップフロップを用いた順序回路の実現 90 |
| 5.3 シフトレジスタを用いた順序回路の実現 96 |
| 演習問題 106 |
| 6 状態割当 |
| 6.1 状態割当と駆動回路の複雑さ 106 |
| 6.2 自己依存形の状態割当 108 |
| 6.3 縮退依存形の状態割当 117 |
| 6.4 隣接性 124 |
| 演習問題 132 |
| 7 順序回路の分解 |
| 7.1 並列分解 134 |
| 7.2 縦続分解 140 |
| 演習問題 148 |
| 8 線形順序回路 |
| 8.1 線形順序回路とその簡約形 149 |
| 8.2 線形順序回路の標準形 158 |
| 8.3 自律的な出力系列 172 |
| 8.4 線形順序回路の入出力応答特性 181 |
| 8.5 線形順序回路の判定 185 |
| 演習問題 192 |
| 9 冗長な順序回路 |
| 9.1 フォルトトレラント順序回路 194 |
| 9.2 フェイルセイフ順序回路 202 |
| 演習問題 213 |
| 10 確率的順序回路 |
| 10.1 確率的な状態遷移 215 |
| 10.2 確率的な順序回路の出力系列 221 |
| 演習問題 226 |
| 11 非同期式順序回路 |
| 11.1 非同期式順序回路の特異性 227 |
| 11.2 競合のない状態割当 236 |
| 11.3 ハザードのない回路構成 251 |
| 演習問題 260 |
| 演習問題の解答 261 |
| 参考文献 270 |
| 索引 275 |
図書
図書
