Topological rewriting systems applied to standard bases and syntactic algebras - Archive ouverte HAL
Journal Articles Journal of Algebra Year : 2020

Topological rewriting systems applied to standard bases and syntactic algebras

Abstract

We introduce topological rewriting systems as a generalisation of abstract rewriting systems, where we replace the set of terms by a topological space. Abstract rewriting systems correspond to topological rewriting systems for the discrete topology. We introduce the topological confluence property as an approximation of the confluence property. Using a representation of linear topological rewriting systems with continuous reduction operators, we show that the topological confluence property is characterised by lattice operations. Using this characterisation, we show that standard bases induce topologically confluent rewriting systems on formal power series. Finally, we investigate duality for reduction operators that we relate to series representations and syntactic algebras. In particular, we use duality for proving that an algebra is syntactic or not.
Fichier principal
Vignette du fichier
Source.pdf (426.59 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02355020 , version 1 (08-11-2019)
hal-02355020 , version 2 (04-12-2019)

Identifiers

Cite

Cyrille Chenavier. Topological rewriting systems applied to standard bases and syntactic algebras. Journal of Algebra, In press, 550, pp.410-431. ⟨10.1016/j.jalgebra.2019.12.007⟩. ⟨hal-02355020v2⟩
87 View
175 Download

Altmetric

Share

More