Process algebra
The state complexities of some basic operations on regular languages
Theoretical Computer Science
Free shuffle algebras in language varieties
Theoretical Computer Science
Handbook of formal languages, vol. 1: word, language, grammar
Handbook of formal languages, vol. 1: word, language, grammar
Shuffle on trajectories: syntactic constraints
Theoretical Computer Science
Mappings of languages by two-tape devices
Journal of the ACM (JACM)
Shuffle languages, Petri nets, and context-sensitive grammars
Communications of the ACM
Automata, Languages, and Machines
Automata, Languages, and Machines
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Handbook of Process Algebra
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
Synchronized Shuffle and Regular Languages
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
An algebraic system for process structuring and interprocess communication
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Theoretical Computer Science
Software Descriptions with Flow Expressions
IEEE Transactions on Software Engineering
State complexity of basic operations on nondeterministic finite automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Semantic shuffle on and deletion along trajectories
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we continue the study on synchronized shuffle started in [5] by introducing the condition that the two words which are to be shuffled have to synchronize on a predefined set of backbones. As far as the language-theoretic properties of this operation are concerned, we prove that in a trio the closure under shuffle is equivalent to the closure under synchronized shuffle on a regular set of backbones. Based on this result we show that a set of backbones is regular if and only if the synchronized shuffle of every two regular languages on that set is also regular. Some relationships between this operation and the synchronized shuffle operations introduced in [5] are presented and some open problem are finally discussed.