Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity

Part 2: Contributed PapersInternational audienceA regulated extension of an insertion-deletion system known as graph-controlled insertion-deletion (GCID) system has several components and each component contains some insertion-deletion rules. A rule is applied to a string in a component and the resultant string is moved to the target component specified in the rule. When resources are so limited (especially, when deletion is context-free) then GCID systems are not known to describe the class of recursively enumerable languages. Hence, it becomes interesting to find the descriptional complexity of such GCID systems of small sizes with respect to language classes below $$\mathrm {RE}$$. To this end, we consider closure classes of linear languages. We show that whenever GCID systems describe $$\mathrm {LIN}$$ with t components, we can extend this to GCID systems with just one more component to describe, for instance, 2-$$\mathrm {LIN}$$ and with further addition of one more component, we can extend to GCID systems that describe the rational closure of $$\mathrm {LIN}$$

Descriptional Complexity of Formal Systems

The proceedings contain 24 papers. The special focus in this conference is on Descriptional Complexity of Formal Systems. The topics include: Sensing as a complexity measure; avoiding overlaps in pictures; on the degree of nondeterminism of tree adjoining languages and head grammar languages; on the average complexity of strong star normal form; most complex non-returning regular languages; uncountable realtime probabilistic classes; a parametrized analysis of algorithms on hierarchical graphs; graph-controlled insertion-deletion systems generating language classes beyond linearity; computational completeness of networks of evolutionary processors with elementary polarizations and a small number of processors; self-attraction removal from oritatami systems; one-time nondeterministic computations; branching measures and nearly acyclic NFAS; a pumping lemma for ordered restarting automata; concise representations of reversible automata; reset complexity of ideal languages over a binary alphabet; state complexity of suffix distance and the quotient operation on input driven pushdown automata