CEK機械
e v a l c e k ( M ) = b {\displaystyle {\mathit {eval}}_{\mathsf {cek}}(M)=b} ( ⟨ ⟨ M , ∅ ⟩ , m t ⟩ ⟼ c e k ∗ ⟨ ⟨ b , E ⟩ , m t ⟩ {\displaystyle \left\langle \left\langle M,\emptyset \right\rangle ,{\mathsf {mt}}\right\rangle \longmapsto _{\mathsf {cek}}^{*}\left\langle \left\langle b,E\right\rangle ,{\mathsf {mt}}\right\rangle } のとき)
e v a l c e k ( M ) = f u n c t i o n {\displaystyle {\mathit {eval}}_{\mathsf {cek}}(M)={\mathsf {function}}} ( ⟨ ⟨ M , ∅ ⟩ , m t ⟩ ⟼ c e k ∗ ⟨ ⟨ λ X . M , E ⟩ , m t ⟩ {\displaystyle \left\langle \left\langle M,\emptyset \right\rangle ,{\mathsf {mt}}\right\rangle \longmapsto _{\mathsf {cek}}^{*}\left\langle \left\langle \lambda X.M,E\right\rangle ,{\mathsf {mt}}\right\rangle } のとき)