計算モデル
計算のモデル
en: computation model
i.e. model of computation
注意: computational model ではない
これは simulation の文脈
program: 計算の記述
programming: その営為
types:
抽象機械型…
en: abstract-machine …
命令型…
en: imperative …
関数型…
en: functional …
cf. functional programming
論理型…
en: logical …
cf. logic programming
programming languages:
e.g. Prolog
並行並列性
並列モデルを別枠に立てることも
モデル
チューリング機械
流れ図
en: flowchart
by Neumann
有向グラフ
有向枝
en: branch, arc
e.g. Scratch
具体例
順序機械
en: sequential machine
aka. transducer
6つ組で定式化
subclasses
有限オートマトン
en: FSA
turing machine
cf. 停止性問題
register machine
subclasses:
counter machine
register machine
accumulator machine?
RAM
cf. Harvard architecture
RASPM
cf. Neumann architecture
書籍
『計算モデルとプログラミング』
ref.
Model of computation - Wikipedia
Computation model - Wikipedia
計算モデル - Wikipedia
Abstract machine - Wikipedia
Accumulator machine - Wikipedia