Partial monoids: associativity and confluence.

MaRDI QIDQ3053106zbMATH OpenFDO

Authors Laurent Poinsot, Christophe Tollu, G. H. E Duchamp

Publication date 4 November 2010

Full work available at URL http://www.scientificadvances.org/journals2P5.htm

zbMATH Keywords

associativityconfluencenormal form theoremspartial monoidsstring rewriting systems

Mathematics Subject Classification ID

Partial algebras (08A55) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Sets with a single binary operation (groupoids) (20N02) Grammars and rewriting systems (68Q42)

Recommendations

• Rewriting systems and word problems in a free partially commutative monoid
• On deciding confluence of finite string-rewriting systems modulo partial commutativity
• MONOIDS PRESENTED BY REWRITING SYSTEMS AND AUTOMATIC STRUCTURES FOR THEIR SUBMONOIDS
• scientific article; zbMATH DE number 1015107
• Reduction relations for monoid semirings

Cited in

(6)

• Rees coextensions of finite tomonoids and free pomonoids
• Reduction relations for monoid semirings
• The logic of information in state spaces
• Coherent differentiation
• A coherent differential PCF
• Diagrammatic calculus and generalized associativity for higher-arity tensor operations

This page was built for publication: Partial monoids: associativity and confluence.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3053106)