| Complete Term Rewrite Systems for Decimal Arithmetic and Other Total Recursive Functions (1995) | |||||||||||||||
Abstract | |||||||||||||||
| We present a strongly normalising and confluent term rewrite system which describes addition, subtraction, and multiplication of positive and negative integers represented in base 10. We prove a general theorem giving an easily checkable syntactic condition on term rewrite systems which implies strong normalisation. The rewrite system for decimal arithmetic satisfies the condition. The method immediately extends to allow, for any definition of a total recursive function on integers, the construction of a strongly normalising term rewrite system which represents that function. 1 Introduction Several authors have attempted to construct term rewrite systems which describe arithmetic operations on integers expressed as decimal numbers (or in other bases greater than 1). There are several properties that would be desirable in such systems: correctness, e#ciency of computation, confluence, termination, implementation of all the usual arithmetic operations, independence of the base, understa... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||