スタックマシン
スタックマシンは
計算モデル
の一種である。
メモリにランダムアクセスすることができず、LIFO型のスタックしか持たないのが計算モデルとしての特徴
部分 Xを構成する部分を列挙すると?
定義 Xとは何か?
語源
スタック(Stack)
相反 Xの反対は?
原因・由来 Xを生じさせたものは?
オートマトン(automaton)
理論
結果・派生 Xから生じたものは?
どんな命令を持っているか
PUSH 3
POP
ADD
SUB
MUL
DIV
などの二項演算
2つの値を消費して1つの値をスタックに積む
具体例・用途
Java仮想マシン
構文木をアセンブリに変換する
実装
x86-64でスタックマシンを実装する
#ラミのトポス