On regular trace languages
From MaRDI portal
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.
Recommendations
Cites work
- Bounded Algol-Like Languages
- Combinatorial problems of commutation and rearrangements
- 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)
- scientific article; zbMATH DE number 3648167 (Why is no real title available?)
- scientific article; zbMATH DE number 3918680 (Why is no real title available?)
- scientific article; zbMATH DE number 3924146 (Why is no real title available?)
- scientific article; zbMATH DE number 3970130 (Why is no real title available?)
- scientific article; zbMATH DE number 3972221 (Why is no real title available?)
- scientific article; zbMATH DE number 4020497 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- scientific article; zbMATH DE number 3765179 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1737190 (Why is no real title available?)
- scientific article; zbMATH DE number 3339488 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Maximal serializability of iterated transactions
- Rational sets in commutative monoids
- Recognizable subsets of some partially Abelian monoids
- Trace languages defined by regular string languages
- Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
Cited in
(31)- On some equations in free partially commutative monoids
- Theory of traces
- Star-free trace languages
- On the decidability of the equivalence problem for partially commutative rational power series
- Recognizable trace languages, distributed automata and the distribution problem
- Symmetries of the partial order of traces
- The lattices of prefixes and overlaps of traces
- Membership problems for regular and context-free trace languages
- Equidivisible Kleene monoids and the Elgot-Mezei theorem
- Two techniques in the area of the star problem in trace monoids
- The generalized rank of trace languages
- Extended Watson-Crick L Systems with Regular Trigger Languages
- scientific article; zbMATH DE number 3848633 (Why is no real title available?)
- scientific article; zbMATH DE number 3870628 (Why is no real title available?)
- Complete subgraphs of bipartite graphs and applications to trace languages
- RATIONAL SUBSETS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCTS
- WORD EQUATIONS OVER GRAPH PRODUCTS
- scientific article; zbMATH DE number 4020497 (Why is no real title available?)
- ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS
- scientific article; zbMATH DE number 4116001 (Why is no real title available?)
- scientific article; zbMATH DE number 1916672 (Why is no real title available?)
- Logical definability of some rational trace languages
- Generalized rational relations and their logical definability
- Subclasses of recognizable trace languages
- Toward a Structure Theory of Regular Infinitary Trace Languages
- The generalized rank of trace languages
- A remark on the representation of trace monoids
- Reordering Derivatives of Trace Closures of Regular Languages.
- Disjointness, inclusion, and regularity of -rational trace languages (extended abstract)
- On bounded rational trace languages
- Efficient recognition of trace languages defined by repeat-until loops
This page was built for publication: On regular trace languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1097040)
