Exercise 12.8 What is the result of the following application of substitutions: (a) f (A,X, Y,X, Y){A/X,

Question:

Exercise 12.8 What is the result of the following application of substitutions:

(a) f (A,X, Y,X, Y){A/X, Z/b, Y/c}.

(b) yes(F, L) ← append(F, c(L, nil), c(l, c(i, c(s, c(t, nil)))))

{F/c(l,X1), Y1/c(L, nil),A1/l, Z1/c(i, c(s, c(t, nil)))}.

(c) append(c(A1,X1), Y1, c(A1, Z1)) ← append(X1, Y1, Z1)

{F/c(l,X1), Y1/c(L, nil),A1/l, Z1/c(i, c(s, c(t, nil)))}.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: