FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Coherence of monoids by insertions

Authors: Nohra Hage and Philippe Malbos

Paper Information

Title:Coherence of monoids by insertions
Authors:Nohra Hage and Philippe Malbos
Proceedings:IWC Final papers
Editors: Jakob Grue Simonsen and Bertram Felgenhauer
Keywords:algebraic confluence, string data structure, coherence
Abstract:

ABSTRACT. We introduce string data structures as combinatorial descriptions of structured words on totally ordered alphabets. The data can be described by words through a reading map and can be constructed by using an insertion algorithm. The insertion map defines a product on datum. We show that the associativity of this product, the cross section property of the data structure, and the confluence of the rewriting system defined by the insertion map are equivalent properties. We explicit a coherent presentation of the monoid presented by the data structure, made of generators, rewriting rules describing the insertion of letters in words and relations among the insertion algorithms.

Pages:9
Talk:Jul 07 11:00 (Session 26G: Algebraic Structures and Coherence)
Paper: