Hostname: page-component-586b7cd67f-dsjbd Total loading time: 0 Render date: 2024-11-25T18:13:54.627Z Has data issue: false hasContentIssue false

Recognizable languages in divisibility monoids

Published online by Cambridge University Press:  09 January 2002

MANFRED DROSTE
Affiliation:
Institut für Algebra, TU Dresden, D-01062 Dresden, Email: [email protected], [email protected]
DIETRICH KUSKE
Affiliation:
Institut für Algebra, TU Dresden, D-01062 Dresden, Email: [email protected], [email protected]

Abstract

We define the class of divisibility monoids that arise as quotients of the free monoid Σ* modulo certain equations of the form ab = cd. These form a much larger class than free partially commutative monoids, and we show, under certain assumptions, that the recognizable languages in these divisibility monoids coincide with c-rational languages. The proofs rely on Ramsey's theorem, distributive lattice theory and on Hashigushi's rank function generalized to these monoids. We obtain Ochmański's theorem on recognizable languages in free partially commutative monoids as a consequence.

Type
Research Article
Copyright
2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)