CEK機械
(クロージャ) c ::= ⟨ M , E ⟩ {\displaystyle c::=\left\langle M,E\right\rangle } (ただし、 M {\displaystyle M} の自由変数は全て E {\displaystyle E} の定義域に含まれる)
(値) v ::= ⟨ V , E ⟩ {\displaystyle v::=\left\langle V,E\right\rangle } (ただし、 V {\displaystyle V} の自由変数は全て E {\displaystyle E} の定義域に含まれる)
(継続) K ::= {\displaystyle K::=} m t {\displaystyle {\mathsf {mt}}} (初期継続) | ⟨ f u n , V , K ⟩ {\displaystyle |\ \left\langle {\mathsf {fun}},V,K\right\rangle } (関数適用への継続) | ⟨ a r g , M , K ⟩ {\displaystyle |\ \left\langle {\mathsf {arg}},M,K\right\rangle } (実引数評価への継続) | ⟨ n a r g , ⟨ v , . . . , v , o ⟩ , ⟨ c , . . .