# On the Complexity of Szilard Languages of Regulated Grammars

@inproceedings{Cojocaru2011OnTC, title={On the Complexity of Szilard Languages of Regulated Grammars}, author={Liliana Cojocaru and Erkki M{\"a}kinen}, booktitle={ICTAC}, year={2011} }

We investigate computational resources used by alternating Turing machines (ATMs) to accept Szilard languages (SZLs) of regulated rewriting grammars. The main goal is to relate these languages to lowlevel complexity classes such as NC1 and NC2. We focus on the derivation process in random context grammars (RCGs) with context-free rules. We prove that unrestricted SZLs and leftmost-1 SZLs of RCGs can be accepted by ATMs in logarithmic time and space. Hence, these languages belong to the UE…

## 7 Citations

### On some derivation mechanisms and the complexity of their Szilard languages

- Computer Science, LinguisticsTheor. Comput. Sci.
- 2014

### Searching for Traces of Communication in Szilard Languages of Parallel Communicating Grammar Systems - Complexity Views

- Computer ScienceDCFS
- 2013

It is proved that the classes of SZLs of returning centralized and non-returning non-centralized PCGSs are included in circuit complexity class \({\mathcal N}{\ mathcal C}^1\).

### Regulated Grammars and Automata

- Computer ScienceSpringer New York
- 2014

This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata. They are the most important language-defining devices that work under controls…

### Chapter 6 One-Sided Versions of Random Context Grammars

- Computer Science
- 2014

It is demonstrated that propagating versions of one-sided random context grammars characterize the family of context-sensitive languages, and with erasing rules, they characterize theFamily of recursively enumerable languages.

### One-Sided Random Context Grammars with Leftmost Derivations

- Computer Science, MathematicsLanguages Alive
- 2012

The generative power of one-sided random context grammars working in a leftmost way is studied and three types of leftmost derivations to one- sided random context Grammars are introduced and proved.

### A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting

- Computer ScienceTheor. Comput. Sci.
- 2021

### Advanced Studies on the Complexity of Formal Languages

- Linguistics
- 2016

Advanced Studies on the Complexity of Formal Languages concludes with a discussion of the role of semantics in the development of knowledge of language structure and its role in language design.

## References

SHOWING 1-10 OF 67 REFERENCES

### Classes of Szilard Languages in NC^1

- Linguistics, Computer Science2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
- 2009

We prove that Szilard languages of context-free grammars can be accepted by an indexing alternating Turing machine (indexing ATM) in logarithmic time and space. The same result holds for leftmost…

### The Tape Complexity of Some Classes of Szilard Languages

- Computer Science, LinguisticsSIAM J. Comput.
- 1977

The main results are that $\log n$ is the optimal tape bound for on-line deterministic Turing machines which recognize Szilard languages of context-free grammars, and it is also the optimal Tape bound for off-line Deterministic Turing Machines which recognize leftmost Szilards of phrase structure grammar.

### Regulated Rewriting in Formal Language Theory

- Computer Science
- 1989

This book presents 25 different regulating mechanisms by definitions, examples and basic facts, especially concerning hierarchies, as well as selective substitution grammars as one common generalization.

### Renaming and Erasing in Szilard Languages

- Computer Science, LinguisticsICALP
- 1977

It is shown that arbitrary homomorphisms do not have more generating power than nonerasing ones except that they generate the empty word.

### A Pumping Lemma for Random Permitting Context Languages

- Computer ScienceTheor. Comput. Sci.
- 2002

### On the Leftmost Derivation in Matrix Grammars

- Computer ScienceInt. J. Found. Comput. Sci.
- 1999

The main point of this paper is the systematic study of all possibilities of defining leftmost derivation in matrix grammars and finds a characterization of the recursively enumerable languages for matrix Grammars with the leftmost restriction defined on classes of a given partition of the nonterminal alphabet.

### Formal translations and the containment problem for Szilard languages

- Computer Science, LinguisticsAutomata Theory and Formal Languages
- 1975

It is shown that one can determine whether a given grammar fits another given grammar, and it is established that the containment problem for Szilard languages is decidable.

### Associate Languages and Derivational Complexity of Formal Grammars and Languages

- Linguistics, Computer ScienceInf. Control.
- 1973