CEK機械
M,E\right\rangle ,K\right\rangle \right\rangle } ⟼ c e k ⟨ ⟨ M , E [ X ← ⟨ V , E ′ ⟩ ] ⟩ , K ⟩ {\displaystyle \longmapsto _{\mathsf {cek}}\left\langle \left\langle M,E[X\leftarrow \left\langle V,E'\right\rangle ]\right\rangle ,K\right\rangle } ( V {\displaystyle V} が変数でない場合)
⟨ ⟨ V , E ′ ⟩ , ⟨ a r g , ⟨ M , E ⟩ , K ⟩ ⟩ {\displaystyle \left\langle \left\langle V,E'\right\rangle ,\left\langle {\mathsf {arg}},\left\langle M,E\right\rangle ,K\right\rangle \right\rangle } ⟼ c e k ⟨ ⟨ M , E ⟩ , ⟨ f u n , ⟨ V , E ′ ⟩ , K ⟩ ⟩ {\displaystyle \longmapsto _{\mathsf {cek}}\left\langle \left\langle M,E\right\rangle ,\left\langle {\mathsf {fun}},\left\langle V,E'\right\rangle ,K\right\rangle \right\rangle } ( V {\displaystyle V} が変数でない場合)