On regular trace languages (Q1097040)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On regular trace languages |
scientific article; zbMATH DE number 4033115
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On regular trace languages |
scientific article; zbMATH DE number 4033115 |
Statements
On regular trace languages (English)
0 references
1987
0 references
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.
0 references
generalized automata on free products of monoids
0 references
trace language
0 references
commutative monoid
0 references
