A complex example of a simplifying rewrite system - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

A complex example of a simplifying rewrite system

Abstract

For a string rewriting system, it is known that termination by a simplification ordering implies multiply recursive complexity. This theoretical upper bound is, however, far from having been reached by known examples of rewrite systems. All known methods used to establish termination by simplification yield a primitive recursive bound. Furthermore, the study of the order types of simplification orderings suggests that the recursive path ordering is, in a broad sense, a maximal simplification ordering. This would imply that simplifying string rewrite systems cannot go beyond primitive recursion. Contradicting this intuition, we construct here a simplifying string rewriting system whose complexity is not primitive recursive. This leads to a new lower bound for the complexity of simplifying string rewriting systems

Domains

Other [cs.OH]
No file

Dates and versions

inria-00098574 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098574 , version 1

Cite

Hélène Touzet. A complex example of a simplifying rewrite system. International Colloquium on Automata, Languages, and Programming - ICALP'98, Jul 1998, Aalborg, Denmark, pp.507-517. ⟨inria-00098574⟩
78 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More