Showing 1–1 of 1 results for author: Kluiving, B

Number representations and term rewriting

Authors: Boas Kluiving, Wijnand van Woerkom

Abstract: In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and termination in binary and decimal term rewriting systems for both append and tree constructor functions. We find that some of these term rewriting systems are not s… ▽ More In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and termination in binary and decimal term rewriting systems for both append and tree constructor functions. We find that some of these term rewriting systems are not strongly terminating, which we resolve with minor changes to these systems. Moreover, most of the term rewriting systems discussed do not exhibit the confluence property, which seems more difficult to resolve. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Comments: 17 pages, 7 tables. For the automatic proofs, see https://staff.fnwi.uva.nl/a.ponse/term_rewriting_proofs/

ACM Class: F.4.2