-
On the Degree of Extension of Some Models Defining Non-Regular Languages
Authors:
Victor Mitrana,
Mihaela Păun
Abstract:
This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results regarding the degree on non-regularity of a context-free grammar as well as the degree of extension of finite automata over groups. Finally, we consider a simil…
▽ More
This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results regarding the degree on non-regularity of a context-free grammar as well as the degree of extension of finite automata over groups. Finally, we consider a similar measure for the finite automata with translucent letters and present some preliminary results. This measure could be considered for many mechanisms that extend a less expressive one.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
{Networks of Uniform Splicing Processors
Authors:
Victor Mitrana,
Mihaela Păun,
Jose Angel Sanchez Martin,
Jose Ramon Sanchez Couso
Abstract:
In this note we consider a new variant of network of splicing processors which simplifies the general model such that filters remain associated with nodes but the input and output filters of every node coincide. This variant is called {\it network of uniform splicing processors}. Although the communication in the new variant seems less powerful, being based on simpler filters, the new variant is s…
▽ More
In this note we consider a new variant of network of splicing processors which simplifies the general model such that filters remain associated with nodes but the input and output filters of every node coincide. This variant is called {\it network of uniform splicing processors}. Although the communication in the new variant seems less powerful, being based on simpler filters, the new variant is sufficiently powerful to be computationally complete. The main result is that nondeterministic Turing machines can be simulated by networks of uniform splicing processors. Furthermore, the simulation is time efficient.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time
Authors:
Volker Diekert,
Steffen Kopecki,
Victor Mitrana
Abstract:
The hairpin completion is an operation on formal languages that has been inspired by the hairpin formation in DNA biochemistry and by DNA computing. In this paper we investigate the hairpin completion of regular languages.
It is well known that hairpin completions of regular languages are linear context-free and not necessarily regular. As regularity of a (linear) context-free language is not de…
▽ More
The hairpin completion is an operation on formal languages that has been inspired by the hairpin formation in DNA biochemistry and by DNA computing. In this paper we investigate the hairpin completion of regular languages.
It is well known that hairpin completions of regular languages are linear context-free and not necessarily regular. As regularity of a (linear) context-free language is not decidable, the question arose whether regularity of a hairpin completion of regular languages is decidable. We prove that this problem is decidable and we provide a polynomial time algorithm.
Furthermore, we prove that the hairpin completion of regular languages is an unambiguous linear context-free language and, as such, it has an effectively computable growth function. Moreover, we show that the growth of the hairpin completion is exponential if and only if the growth of the underlying languages is exponential and, in case the hairpin completion is regular, then the hairpin completion and the underlying languages have the same growth indicator.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.
-
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections
Authors:
Remco Loos,
Florin Manea,
Victor Mitrana
Abstract:
In this paper, we present some results regarding the size complexity of Accepting Networks of Evolutionary Processors with Filtered Connections (ANEPFCs). We show that there are universal ANEPFCs of size 10, by devising a method for simulating 2-Tag Systems. This result significantly improves the known upper bound for the size of universal ANEPFCs which is 18.
We also propose a new, computatio…
▽ More
In this paper, we present some results regarding the size complexity of Accepting Networks of Evolutionary Processors with Filtered Connections (ANEPFCs). We show that there are universal ANEPFCs of size 10, by devising a method for simulating 2-Tag Systems. This result significantly improves the known upper bound for the size of universal ANEPFCs which is 18.
We also propose a new, computationally and descriptionally efficient simulation of nondeterministic Turing machines by ANEPFCs. More precisely, we describe (informally, due to space limitations) how ANEPFCs with 16 nodes can simulate in O(f(n)) time any nondeterministic Turing machine of time complexity f(n). Thus the known upper bound for the number of nodes in a network simulating an arbitrary Turing machine is decreased from 26 to 16.
△ Less
Submitted 29 July, 2009;
originally announced July 2009.