5109637048

Maszyna CK

►    stos

s ::= e | arg(t) : ś

►    przejścia maszyny

fun(ir) : s

(x, s) =>, (A x.t,s) =>, (t₀ti,s) =>•, (arg(ti) : ś, v₀) =>-, (fun(Ax.t) : s, 1/1) =4*, (fun(x vi ... v_n) : ś, v) =>,

► konfiguracja początkowa

(s,x)

(s, A x.t)

(to, arg(ti) : s) (tl,fun(v₀) : s) (t{vi/x},s)

(s,x vi ... v_nv

(M)

► konfiguracja końcowe

(e> ^v)