A rewrite rule over a set of ( rst-order) terms is an ordered pair of terms, which we write as ... The way our abstract machine works for rewriting is that.
確定! 回上一頁