Topological rewriting systems applied to standard bases and syntactic algebras

Chenavier, Cyrille

Type de document :

Article dans une revue scientifique

DOI :

10.1016/j.jalgebra.2019.12.007

Titre :

Topological rewriting systems applied to standard bases and syntactic algebras

Auteur(s) :

Chenavier, Cyrille [Auteur]
Finite-time control and estimation for distributed systems [VALSE]

Titre de la revue :

Journal of Algebra

Pagination :

410-431

Éditeur :

Elsevier

Date de publication :

2020

ISSN :

0021-8693

Mot(s)-clé(s) en anglais :

topological confluence
standard bases
series representations and syntactic algebras

Discipline(s) HAL :

Informatique [cs]/Calcul formel [cs.SC]
Mathématiques [math]/Anneaux et algèbres [math.RA]

Résumé en anglais : [en]

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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Fichiers

https://hal.archives-ouvertes.fr/hal-02355020v2/document
Accès libre
Accéder au document

http://arxiv.org/pdf/1907.06394
Accès libre
Accéder au document

https://hal.archives-ouvertes.fr/hal-02355020v2/document
Accès libre
Accéder au document

https://hal.archives-ouvertes.fr/hal-02355020v2/document
Accès libre
Accéder au document

document
Accès libre
Accéder au document

Source.pdf
Accès libre
Accéder au document

1907.06394
Accès libre
Accéder au document

Topological rewriting systems applied to ... BibTeX CSV Excel RIS

Fichiers

Topological rewriting systems applied to ...

BibTeX

CSV

Excel

RIS