We no that P + Q + R + S - T P=a2
Answers
Answered by
0
Answer:
f(x, s(y)) → f(p(-(x, s(y))), p(-(s(y), x))). Q is empty. ↳ QTRS ↳. Q restricted rewrite system: The TRS R consists of the following rules:.
Step-by-step explanation:
follow me and mark me as brainlieast
Similar questions