On regular trace languages
type: Item
instance of: scholarly article
title: On regular trace languages
zbMATH Open document ID: 0634.68076
DOI: 10.1016/0304-3975(87)90080-6
author: Jacques Sakarovitch
published in: Theoretical Computer Science
publication date: 1987-01-01T00:00:00Z
review text: Let A be a finite alphabet and let r be a symmetrical relation on A. Let us consider the free partially commutative monoid M(A,r) generated by A with respect to r (i.e., the quotient of A * by the congruence relation generated by (ab,ba) for all (a,b) in r). It is proved that the free partially commutative monoids M(A,r) whose regular sets form a Boolean algebra or are all unambiguous are the free products of free commutative monoids.
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 4033115
zbMATH Keywords: generalized automata on free products of monoids
zbMATH Keywords: trace language
zbMATH Keywords: commutative monoid
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
full work available at URL: 0304-3975(87)90080-6
OpenAlex ID: W2092700841
cites work: Trace languages defined by regular string languages
cites work: Q5616207
cites work: Q3859267
cites work: Q3947146
cites work: Q3763601
cites work: Combinatorial problems of commutation and rearrangements
cites work: Q5639639
cites work: Q3736919
cites work: Recognizable subsets of some partially Abelian monoids
cites work: Q4079524
cites work: Rational sets in commutative monoids
cites work: Maximal serializability of iterated transactions
cites work: Deux applications de la représentation matricielle d'une série rationnelle non commutative. (Two applications of matrix representations of a rational non -commutative series)
cites work: Bounded Algol-Like Languages
cites work: Q4529547
cites work: Q3698316
cites work: Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
cites work: Q3738586
cites work: Q3695482
cites work: Q3206351
description: scientific article; zbMATH DE number 4033115