Matches in SemOpenAlex for { <https://semopenalex.org/work/W1892567508> ?p ?o ?g. }
- W1892567508 abstract "Motivated by different ways to obtain team automata from synchronizing component automata, we consider various definitions of synchronized shuffles of words. A shuffle of two words is an interleaving of their symbol occurrenceswhich preserves the original order of these occurrences within each of the two words. In a synchronized shuffle, however, also two occurrences of one symbol, each from a different word, may be identified as a single occurrence. In case at least one of the words involved is infinite, a (synchronized) shuffle can also be unfair in the sense that an infinite word may prevail fromsome point onwards even when the other word still has occurrences to contribute to the shuffle. We prove that for the synchronized shuffle operations under consideration, every (fair or unfair) synchronized shuffle can be obtained as a limit of synchronized shuffles of the finite prefixes of the words involved. In addition, it is shown that with the exception of one, all synchronized shuffle operations that we consider satisfy a natural notion of associativity, also in case of unfairness. Finally, using these results, some compositionality results for team automata are established." @default.
- W1892567508 created "2016-06-24" @default.
- W1892567508 creator A5014564304 @default.
- W1892567508 creator A5064415269 @default.
- W1892567508 date "2009-01-01" @default.
- W1892567508 modified "2023-09-26" @default.
- W1892567508 title "Associativity of Infinite Synchronized Shuffles and Team Automata" @default.
- W1892567508 cites W1484878272 @default.
- W1892567508 cites W1493078761 @default.
- W1892567508 cites W1498342204 @default.
- W1892567508 cites W1504757119 @default.
- W1892567508 cites W1519057419 @default.
- W1892567508 cites W1553204753 @default.
- W1892567508 cites W1563982778 @default.
- W1892567508 cites W1569936610 @default.
- W1892567508 cites W1571889205 @default.
- W1892567508 cites W1577059114 @default.
- W1892567508 cites W1582292473 @default.
- W1892567508 cites W1635425870 @default.
- W1892567508 cites W1812404936 @default.
- W1892567508 cites W1965308680 @default.
- W1892567508 cites W1967959761 @default.
- W1892567508 cites W1975460338 @default.
- W1892567508 cites W1978996774 @default.
- W1892567508 cites W1983313019 @default.
- W1892567508 cites W1983533724 @default.
- W1892567508 cites W1993983161 @default.
- W1892567508 cites W2018389955 @default.
- W1892567508 cites W2037185109 @default.
- W1892567508 cites W2039019493 @default.
- W1892567508 cites W2043452331 @default.
- W1892567508 cites W2062458205 @default.
- W1892567508 cites W2066429787 @default.
- W1892567508 cites W2089182307 @default.
- W1892567508 cites W2092602906 @default.
- W1892567508 cites W2097198651 @default.
- W1892567508 cites W2103798031 @default.
- W1892567508 cites W2107552120 @default.
- W1892567508 cites W2109919342 @default.
- W1892567508 cites W2129384397 @default.
- W1892567508 cites W2146535551 @default.
- W1892567508 cites W2153580110 @default.
- W1892567508 cites W2163567867 @default.
- W1892567508 cites W2569361512 @default.
- W1892567508 cites W2579633295 @default.
- W1892567508 cites W2912870087 @default.
- W1892567508 cites W3013442367 @default.
- W1892567508 cites W3080365568 @default.
- W1892567508 cites W3242420 @default.
- W1892567508 cites W2158081632 @default.
- W1892567508 doi "https://doi.org/10.3233/fi-2009-0051" @default.
- W1892567508 hasPublicationYear "2009" @default.
- W1892567508 type Work @default.
- W1892567508 sameAs 1892567508 @default.
- W1892567508 citedByCount "2" @default.
- W1892567508 countsByYear W18925675082014 @default.
- W1892567508 countsByYear W18925675082020 @default.
- W1892567508 crossrefType "journal-article" @default.
- W1892567508 hasAuthorship W1892567508A5014564304 @default.
- W1892567508 hasAuthorship W1892567508A5064415269 @default.
- W1892567508 hasConcept C10138342 @default.
- W1892567508 hasConcept C111919701 @default.
- W1892567508 hasConcept C112505250 @default.
- W1892567508 hasConcept C118615104 @default.
- W1892567508 hasConcept C134400042 @default.
- W1892567508 hasConcept C138885662 @default.
- W1892567508 hasConcept C141603448 @default.
- W1892567508 hasConcept C159423971 @default.
- W1892567508 hasConcept C162324750 @default.
- W1892567508 hasConcept C182306322 @default.
- W1892567508 hasConcept C199360897 @default.
- W1892567508 hasConcept C202444582 @default.
- W1892567508 hasConcept C2524010 @default.
- W1892567508 hasConcept C2778112365 @default.
- W1892567508 hasConcept C28034677 @default.
- W1892567508 hasConcept C33923547 @default.
- W1892567508 hasConcept C41008148 @default.
- W1892567508 hasConcept C41895202 @default.
- W1892567508 hasConcept C54355233 @default.
- W1892567508 hasConcept C80444323 @default.
- W1892567508 hasConcept C86803240 @default.
- W1892567508 hasConcept C90805587 @default.
- W1892567508 hasConcept C94375191 @default.
- W1892567508 hasConceptScore W1892567508C10138342 @default.
- W1892567508 hasConceptScore W1892567508C111919701 @default.
- W1892567508 hasConceptScore W1892567508C112505250 @default.
- W1892567508 hasConceptScore W1892567508C118615104 @default.
- W1892567508 hasConceptScore W1892567508C134400042 @default.
- W1892567508 hasConceptScore W1892567508C138885662 @default.
- W1892567508 hasConceptScore W1892567508C141603448 @default.
- W1892567508 hasConceptScore W1892567508C159423971 @default.
- W1892567508 hasConceptScore W1892567508C162324750 @default.
- W1892567508 hasConceptScore W1892567508C182306322 @default.
- W1892567508 hasConceptScore W1892567508C199360897 @default.
- W1892567508 hasConceptScore W1892567508C202444582 @default.
- W1892567508 hasConceptScore W1892567508C2524010 @default.
- W1892567508 hasConceptScore W1892567508C2778112365 @default.
- W1892567508 hasConceptScore W1892567508C28034677 @default.
- W1892567508 hasConceptScore W1892567508C33923547 @default.
- W1892567508 hasConceptScore W1892567508C41008148 @default.