On recognizable subsets of free partially commutative monoids
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Easy multiplications. I. The realm of Kleene's theorem
Information and Computation
Theoretical Computer Science
Recognizable closures and submonoids of free partially commutative monoids
Theoretical Computer Science
Defining conditional independence using collapses
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
Recognizable languages in concurrency monoids
Theoretical Computer Science
Representation of computations in concurrent automata by dependence orders
Theoretical Computer Science
Partial commutation and traces
Handbook of formal languages, vol. 3
Automata, Languages, and Machines
Automata, Languages, and Machines
The Book of Traces
Computations, Residuals, and the POwer of Indeterminancy
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Stable Models of Typed lambda-Calculi
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract)
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Nondeterministic Automata with Concurrency Relations and Domains
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
Divisibility Monoids: Presentation, Word Problem, and Rational Languages
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Weighted automata with discounting
Information Processing Letters
Weighted and unweighted trace automata
Acta Cybernetica
Rational transformations and a kleene theorem for power series over rational monoids
Algebraic Foundations in Computer Science
Hi-index | 0.00 |
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.