An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion

We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional an...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org
Main Authors: Maria Bendix Mikkelsen, Glück, Robert, Kirkeby, Maja H
Format: Paper
Language:English
Published: Ithaca Cornell University Library, arXiv.org 07.09.2021
Subjects:
Case studies
Inversions
Inverters
ISSN:2331-8422
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non-functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems.
Bibliography:SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
ISSN:2331-8422
DOI:10.48550/arxiv.2109.02810