Downloads provided by UsageCounts
[EN] The closure of a regular language under a [partial] commutation I has been extensively studied. We present new advances on two problems of this area: (1) When is the closure of a regular language under [partial] commutation still regular? (2) Are there any robust classes of languages closed under [partial] commutation? We show that the class Pol(G) of polynomials of group languages is closed under commutation, and under partial commutation when the complement of I in A2 is a transitive relation. We also give a su¿cient graph theoretic condition on I to ensure that the closure of a language of Pol(G) under I-commutation is regular. We exhibit a very robust class of languages W which is closed under commutation. This class contains Pol(G), is decidable and can be de¿ned as the largest positive variety of languages not containing (ab)¿. It is also closed under intersection, union, shu¿e, concatenation, quotients, length-decreasing morphisms and inverses of morphisms. If I is transitive, we show that the closure of a language of W under I-commutation is regular. The proofs are nontrivial and combine several advanced techniques, including combinatorial Ramsey type arguments, algebraic properties of the syntactic monoid, ¿niteness conditions on semigroups and properties of insertion systems. © 2013 Elsevier Inc. All rights reserved
The first author was supported by the project Automatas en dispositivos moviles: interfaces de usuario y realidad aumentada (PAID 2019-06-11) supported by Universidad Politecnica de Valencia. The third author was supported by the project ANR 2010 BLAN 0202 02 FREC.
MSC 68Q70, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], shuffle, Partial commutation, Regular language, traces, 20M35, regular language, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Algebraic theory of languages and automata, partial commutation, Trace language, trace language, variety of languages, LENGUAJES Y SISTEMAS INFORMATICOS, Variety of languages, Shuffle
MSC 68Q70, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], shuffle, Partial commutation, Regular language, traces, 20M35, regular language, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Algebraic theory of languages and automata, partial commutation, Trace language, trace language, variety of languages, LENGUAJES Y SISTEMAS INFORMATICOS, Variety of languages, Shuffle
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 12 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 34 | |
| downloads | 50 |

Views provided by UsageCounts
Downloads provided by UsageCounts