10/05/03 06:40:57
Check the termination and the confluence of the following rewriting system:
・f(x,x)→a
・f(x,g(x))→b
・c→g(c)
問題の意味からして分かりません。
助けてください
10/05/03 06:40:57
Check the termination and the confluence of the following rewriting system:
・f(x,x)→a
・f(x,g(x))→b
・c→g(c)
問題の意味からして分かりません。
助けてください