Abstract
In the general context of presentations of monoids, we study normalization process that are determined by their restriction to length-two words. Garside’s greedy normal forms and quadratic convergent rewriting systems, in particular those associated with the plactic monoids, are typical examples. Having introduced a parameter, called the class and measuring the complexity of the normalization of length-three words, we analyze the normalization of longer words and describe a number of possible behaviors. We fully axiomatize normalizations of class [Formula: see text], show the convergence of the associated rewriting systems, and characterize those deriving from a Garside family.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
