scientific article; zbMATH DE number 4116825

MaRDI QIDQ4731379zbMATH OpenFDO

Authors Herbert Lugowski, Wolfgang Schöbel

Publication date 1989

zbMATH Keywords

BASIC programcongruencefree monoidlexicographic ordernormal form of a wordTuring monoid

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Ordered semigroups and monoids (06F05) Software, source code, etc. for problems pertaining to group theory (20-04) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Algebraic theory of languages and automata (68Q70)

Recommendations

• Characterizing the normal forms of a finitely presented monoid
• An explicit algorithm for normal forms in small overlap monoids
• On free Turing algebras
• Small overlap monoids. II: Automatic structures and normal forms.
• Finite transducers for divisibility monoids

Cited in

(2)

• Quasi-varieties: A special access
• Characterizing the normal forms of a finitely presented monoid

This page was built for publication:

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