Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911234546> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2911234546 endingPage "198" @default.
- W2911234546 startingPage "179" @default.
- W2911234546 abstract "Let T=A∪B∪C be an alphabet that is partitioned into three subalphabets. The mixing product of a word g over A∪B and of a word d over A∪C is the set of words w over T such that its projection onto A∪B gives g and its projection onto A∪C gives d. Let R be a regular language over T such that xbcy is in R if and only if xcby is in R for any two letters b in B and c in C. In other words, R is commutative over B and C. Is this property “structural” in the sense that R can then be obtained as a mixing product of a regular language over A∪B and of a regular language over A∪C? This question has a rather easy answer, but there are many cases where the answer is negative. A more interesting question is whether R can be represented as a finite union of mixed products of regular languages. For the moment, we do not have an answer to this question. However, we prove that it is decidable whether, for a given k, the language R is a union of at most k mixed products of regular languages. Soit T=A∪B∪C un alphabet partitionné en trois sous-alphabets. Le mélange d’un mot g sur A∪B et d’un mot d sur A∪C est l’ensemble des mots w sur T dont la projection sur A∪B donne le mot g et sur A∪C donne le mot d. Soit R un langage rationnel sur T tel que xbcy est dans R si et seulement si xcby est dans R pour deux lettres quelconques b∈B et c∈C. En d’autres termes, R est commutatif sur B et C. Est-ce que cette propriété est “structurelle”, c’est-à-dire peut-on alors obtenir R comme mélange d’un langage rationnel sur A∪B et d’un langage rationnel sur A∪C? Cette question a une réponse plutôt facile, mais il existe de trop nombreux cas où la réponse est négative. Une question plus intéressante est de savoir si on peut représenter R comme une union finie de mélanges de langages rationnels. Pour l’instant, nous n’avons pas de réponse à cette question. En revanche, nous montrons qu’il est décidable, pour un entier k donné, si R est union d’au plus k mélanges de langages rationnels." @default.
- W2911234546 created "2019-02-21" @default.
- W2911234546 creator A5002934242 @default.
- W2911234546 creator A5016243955 @default.
- W2911234546 creator A5071797806 @default.
- W2911234546 date "2005-02-01" @default.
- W2911234546 modified "2023-10-01" @default.
- W2911234546 title "Mixed languages" @default.
- W2911234546 cites W1501119228 @default.
- W2911234546 cites W1967959761 @default.
- W2911234546 cites W2040234411 @default.
- W2911234546 cites W89538287 @default.
- W2911234546 doi "https://doi.org/10.1016/j.tcs.2004.08.016" @default.
- W2911234546 hasPublicationYear "2005" @default.
- W2911234546 type Work @default.
- W2911234546 sameAs 2911234546 @default.
- W2911234546 citedByCount "4" @default.
- W2911234546 countsByYear W29112345462016 @default.
- W2911234546 crossrefType "journal-article" @default.
- W2911234546 hasAuthorship W2911234546A5002934242 @default.
- W2911234546 hasAuthorship W2911234546A5016243955 @default.
- W2911234546 hasAuthorship W2911234546A5071797806 @default.
- W2911234546 hasBestOaLocation W29112345461 @default.
- W2911234546 hasConcept C112505250 @default.
- W2911234546 hasConcept C112876837 @default.
- W2911234546 hasConcept C11413529 @default.
- W2911234546 hasConcept C114614502 @default.
- W2911234546 hasConcept C118615104 @default.
- W2911234546 hasConcept C121332964 @default.
- W2911234546 hasConcept C138777275 @default.
- W2911234546 hasConcept C138885662 @default.
- W2911234546 hasConcept C153269930 @default.
- W2911234546 hasConcept C154945302 @default.
- W2911234546 hasConcept C2524010 @default.
- W2911234546 hasConcept C33923547 @default.
- W2911234546 hasConcept C41008148 @default.
- W2911234546 hasConcept C41895202 @default.
- W2911234546 hasConcept C52370388 @default.
- W2911234546 hasConcept C57493831 @default.
- W2911234546 hasConcept C62520636 @default.
- W2911234546 hasConcept C90673727 @default.
- W2911234546 hasConcept C90805587 @default.
- W2911234546 hasConceptScore W2911234546C112505250 @default.
- W2911234546 hasConceptScore W2911234546C112876837 @default.
- W2911234546 hasConceptScore W2911234546C11413529 @default.
- W2911234546 hasConceptScore W2911234546C114614502 @default.
- W2911234546 hasConceptScore W2911234546C118615104 @default.
- W2911234546 hasConceptScore W2911234546C121332964 @default.
- W2911234546 hasConceptScore W2911234546C138777275 @default.
- W2911234546 hasConceptScore W2911234546C138885662 @default.
- W2911234546 hasConceptScore W2911234546C153269930 @default.
- W2911234546 hasConceptScore W2911234546C154945302 @default.
- W2911234546 hasConceptScore W2911234546C2524010 @default.
- W2911234546 hasConceptScore W2911234546C33923547 @default.
- W2911234546 hasConceptScore W2911234546C41008148 @default.
- W2911234546 hasConceptScore W2911234546C41895202 @default.
- W2911234546 hasConceptScore W2911234546C52370388 @default.
- W2911234546 hasConceptScore W2911234546C57493831 @default.
- W2911234546 hasConceptScore W2911234546C62520636 @default.
- W2911234546 hasConceptScore W2911234546C90673727 @default.
- W2911234546 hasConceptScore W2911234546C90805587 @default.
- W2911234546 hasIssue "1-3" @default.
- W2911234546 hasLocation W29112345461 @default.
- W2911234546 hasOpenAccess W2911234546 @default.
- W2911234546 hasPrimaryLocation W29112345461 @default.
- W2911234546 hasRelatedWork W1576422273 @default.
- W2911234546 hasRelatedWork W1966207613 @default.
- W2911234546 hasRelatedWork W2028755743 @default.
- W2911234546 hasRelatedWork W2081898945 @default.
- W2911234546 hasRelatedWork W2136937307 @default.
- W2911234546 hasRelatedWork W2903867399 @default.
- W2911234546 hasRelatedWork W2950141706 @default.
- W2911234546 hasRelatedWork W2990878512 @default.
- W2911234546 hasRelatedWork W3049285863 @default.
- W2911234546 hasRelatedWork W4288009642 @default.
- W2911234546 hasVolume "332" @default.
- W2911234546 isParatext "false" @default.
- W2911234546 isRetracted "false" @default.
- W2911234546 magId "2911234546" @default.
- W2911234546 workType "article" @default.