On the power of synchronization in parallel computations
Discrete Applied Mathematics - Formal language theory
Theoretical Computer Science
Deterministic versus nondeterministic space in terms of synchronized alternating machines
Theoretical Computer Science
Indexed Grammars—An Extension of Context-Free Grammars
Journal of the ACM (JACM)
Stack Machines and Classes of Nonnested Macro Languages
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Mathematical Theory of L Systems
Mathematical Theory of L Systems
The ld and dlad bio-operations on formal languages
Journal of Automata, Languages and Combinatorics
An infinite hierarchy induced by depth synchronization
Theoretical Computer Science
Synchronization functions of synchronized context-free grammars and languages
Journal of Automata, Languages and Combinatorics
On the synchronized derivation depth of context-free grammars
Theoretical Computer Science
Generalized derivations with synchronized context-free grammars
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Hi-index | 5.23 |
We consider the yield languages of synchronized tree automata, called the synchronized context-free (SCF) languages. We show that their language family coincides with the family of ETOL languages using both studied types of synchronization. Furthermore, we examine a generalization of SCF grammars, the block-synchronized context-free (BSCF) grammars and determine that their generated language family is equal to that of the indexed languages using the same two types of synchronization. However, when the nesting depth of BSCF grammars is bounded above by some constant, the generated language family is also equal to the family of ET0L languages. This shows that the unbounded nesting depth language family is strictly larger than the bounded nesting depth family, as previously conjectured.