CEK機械
⟨ ⟨ V , E ⟩ , ⟨ n a r g , ⟨ c ′ , . . . ⟩ , ⟨ ⟨ N , E ′ ⟩ , c , . . . ⟩ , K ⟩ ⟩ {\displaystyle \left\langle \left\langle V,E\right\rangle ,\left\langle {\mathsf {narg}},\left\langle c',...\right\rangle ,\left\langle \left\langle N,E'\right\rangle ,c,...\right\rangle ,K\right\rangle \right\rangle } ⟼ c e k ⟨ ⟨ N , E ′ ⟩ , ⟨ n a r g , ⟨ ⟨ V , E ⟩ , c ′ , . . . ⟩ , ⟨ c , . . . ⟩ , K ⟩ ⟩ {\displaystyle \longmapsto _{\mathsf {cek}}\left\langle \left\langle N,E'\right\rangle ,\left\langle {\mathsf {narg}},\left\langle \left\langle V,E\right\rangle ,c',...\right\rangle ,\left\langle c,...\right\rangle ,K\right\rangle \right\rangle } ( V {\displaystyle V} が変数でない場合)