DeepAI AI Chat
Log In Sign Up

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions

by   Cyrille Chenavier, et al.
Johannes Kepler University Linz

We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as well as rewriting strategies, which consist in choosing one rewriting step for each reducible basis element of the vector space. Using these notions, we introduce the S-confluence property and show that it implies confluence. We deduce a proof of the diamond's lemma, based on strategies. We illustrate our general framework with rewriting systems over rational Weyl algebras, that are vector spaces over a field of rational functions. In particular, we show that involutive divisions induce rewriting strategies over rational Weyl algebras, and using the S-confluence property, we show that involutive sets induce confluent rewriting systems over rational Weyl algebras.


page 1

page 2

page 3

page 4


Basis for a vector space generated by Hamiltonian time paths in a complete time graph

In this paper we introduce the notion of a complete time graph of order ...

On the graph of non-degenerate linear [n,2]_2 codes

Consider the Grassmann graph of k-dimensional subspaces of an n-dimensio...

Solvability of orbit-finite systems of linear equations

We study orbit-finite systems of linear equations, in the setting of set...

A constructive approach to triangular trigonometric patches

We construct a constrained trivariate extension of the univariate normal...

Abstract rewriting internalized

In traditional rewriting theory, one studies a set of terms up to a set ...

A note on encoding infinity in ZFA with applications to register automata

Working in Zermelo-Fraenkel Set Theory with Atoms over an ω-categorical ...

Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors

We introduce extended Gaussian distributions as a precise and principled...