scientific article; zbMATH DE number 4116825

zbMATH Open0682.20045MaRDI QIDQ4731379FDOQ4731379

Authors Herbert Lugowski, Wolfgang Schöbel

Publication date 1989

zbMATH Keywords

congruencelexicographic orderfree monoidBASIC programTuring monoidnormal form of a word

Mathematics Subject Classification ID

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

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)