LANGUAGE FAMILIES DEFINED BY A CILIATE BIO-OPERATION: HIERARCHIES AND DECISION PROBLEMS

2005 ◽  
Vol 16 (04) ◽  
pp. 645-662 ◽  
Author(s):  
JÜRGEN DASSOW ◽  
MARKUS HOLZER
Keyword(s):  
Inverted Repeat ◽  
Decision Problems ◽  
Membership Problem ◽  
Chomsky Hierarchy ◽  
Context Sensitive ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
The Status ◽  
Emptiness Problem ◽  
Context Free

We formalize the hairpin inverted repeat excision, which is known in ciliate genetics as an operation on words and languages by defining [Formula: see text] as the set of all words xαyRαRz where w = xαyαRz and the pointer α is in P. We extend this concept to language families which results in families [Formula: see text]. For [Formula: see text] and [Formula: see text] be the families of finite, regular, context-free, context-sensitive or recursively enumerable language, respectively, we determine the hierarchy of the families [Formula: see text] and compare these families with those of the Chomsky hierarchy. Furthermore, we present the status of decidability of the membership problem, emptiness problem and finiteness problem for the families [Formula: see text].

scholarly journals REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS

2008 ◽  
Vol 19 (04) ◽  
pp. 859-871 ◽  
Author(s):  
GHEORGHE PĂUN ◽  
MARIO J. PÉREZ-JIMÉNEZ ◽  
TAKASHI YOKOMORI
Keyword(s):  
Dna Computing ◽  
Research Direction ◽  
Regular Languages ◽  
Turing Computability ◽  
Chomsky Hierarchy ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Language L ◽  
Context Free

Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of Turing computability and characterizations or representations of languages in Chomsky hierarchy were obtained in this framework. In this note we contribute to this research direction with a new characterization of this type, as well as with representations of regular and context-free languages, mainly starting from context-free insertion systems of as small as possible complexity. For instance, each recursively enumerable language L can be represented in a way similar to the celebrated Chomsky-Schützenberger representation of context-free languages, i.e., in the form L = h(L(γ) ∩ D), where γ is an insertion system of weight (3, 0) (at most three symbols are inserted in a context of length zero), h is a projection, and D is a Dyck language. A similar representation can be obtained for regular languages, involving insertion systems of weight (2,0) and star languages, as well as for context-free languages – this time using insertion systems of weight (3, 0) and star languages.

scholarly journals On Derivation Languages of a Class of Splicing Systems

2018 ◽  
Vol 23 (4) ◽  
pp. 981-993 ◽  
Author(s):  
Kalpana Mahalingam ◽  
Prithwineel Paul ◽  
Erkki Mäkinen
Keyword(s):  
Chomsky Hierarchy ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
The Family ◽  
Finite Set ◽  
Morphic Image ◽  
And Control ◽  
Splicing Systems ◽  
Context Free ◽  
Free Language

Derivation languages are language theoretical tools that describe halting derivation processes of a generating device. We consider two types of derivation languages, namely Szilard and control languages for splicing systems where iterated splicing is done in non-uniform way defined by Mitrana, Petre and Rogojin in 2010. The families of Szilard (rules and labels are mapped in a one to one manner) and control (more than one rule can share the same label) languages generated by splicing systems of this type are then compared with the family of languages in the Chomsky hierarchy. We show that context-free languages can be generated as Szilard and control languages and any non-empty context-free language is a morphic image of the Szilard language of this type of system with finite set of rules and axioms. Moreover, we show that these systems with finite set of axioms and regular set of rules are capable of generating any recursively enumerable language as a control language.

Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete

2021 ◽  
Vol 179 (4) ◽  
pp. 361-384
Author(s):  
Zbyněk Křivka ◽  
Alexander Meduna
Keyword(s):  
Open Problem ◽  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Context Free

This paper investigates the reduction of scattered context grammars with respect to the number of non-context-free productions. It proves that every recursively enumerable language is generated by a scattered context grammar that has no more than one non-context-free production. An open problem is formulated.

PC GRAMMAR SYSTEMS WITH CLUSTERS OF COMPONENTS

2011 ◽  
Vol 22 (01) ◽  
pp. 203-212 ◽  
Author(s):  
ERZSÉBET CSUHAJ-VARJÚ ◽  
MARION OSWALD ◽  
GYÖRGY VASZIL
Keyword(s):  
Future Research ◽  
Open Problems ◽  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Grammar Systems ◽  
Context Free

We introduce PC grammar systems where the components form clusters and the query symbols refer to clusters not individual grammars, i.e., the addressee of the query is not precisely identified. We prove that if the same component replies to all queries issued to a cluster in a rewriting step, then non-returning PC grammar systems with 3 clusters and 7 context-free components are able to generate any recursively enumerable language. We also provide open problems and directions for future research.

PUZZLE GRAMMARS AND CONTEXT-FREE ARRAY GRAMMARS

1991 ◽  
Vol 05 (05) ◽  
pp. 663-676 ◽  
Author(s):  
M. NIVAT ◽  
A. SAOUDI ◽  
K. G. SUBRAMANIAN ◽  
R. SIROMONEY ◽  
V. R. DARE
Keyword(s):  
Membership Problem ◽  
Generative Power ◽  
New Model ◽  
Regular Control ◽  
Emptiness Problem ◽  
Np Complete ◽  
Context Free ◽  
Rewriting Rules

We introduce a new model for generating finite, digitized, connected pictures called puzzle grammars and study its generative power by comparison with array grammars. We note how this model generalizes the classical Chomskian grammars and study the effect of direction-independent rewriting rules. We prove that regular control does not increase the power of basic puzzle grammars. We show that for basic and context-free puzzle grammars, the membership problem is NP-complete and the emptiness problem is undecidable.

scholarly journals Derivation "Trees" and Parallelism in Chomsky-Type Grammars

Triangle ◽  
2018 ◽  
pp. 101
Author(s):  
Benedek Nagy
Keyword(s):  
Formal Language ◽  
Phrase Structure ◽  
Formal Language Theory ◽  
Language Theory ◽  
Context Sensitive ◽  
Recursively Enumerable ◽  
Rule Set ◽  
Context Free ◽  
Recursively Enumerable Languages ◽  
Context Free Grammars

In this paper we discuss parallel derivations for context-free, contextsensitive and phrase-structure grammars. For regular and linear grammars only sequential derivation can be applied, but a kind of parallelism is present in linear grammars. We show that nite languages can be generated by a recursion-free rule-set. It is well-known that in context-free grammars the derivation can be in maximal (independent) parallel way. We show that in cases of context-sensitive and recursively enumerable languages the parallel branches of the derivation have some synchronization points. In the case of context-sensitive grammars this synchronization can only be local, but in a derivation of an arbitrary grammar we cannot make this restriction. We present a framework to show how the concept of parallelism can be t to the derivations in formal language theory using tokens.

The complexity of weakly recognizing morphisms

2018 ◽  
Vol 53 (1-2) ◽  
pp. 1-17
Author(s):  
Lukas Fleischer ◽  
Manfred Kufleitner
Keyword(s):  
Computational Complexity ◽  
Regular Languages ◽  
Decision Problems ◽  
Membership Problem ◽  
Surjective Morphism ◽  
Infinite Words ◽  
Descriptional Complexity ◽  
Emptiness Problem ◽  
Free Semigroups ◽  
Büchi Automaton

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of ω-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is accepted by some Büchi automaton. We study the descriptional complexity of various constructions and the computational complexity of various decision problems for weakly recognizing morphisms. The constructions we consider are the conversion from and to Büchi automata, the conversion into strongly recognizing morphisms, as well as complementation. We also show that the fixed membership problem is NC1-complete, the general membership problem is in L and that the inclusion, equivalence and universality problems are NL-complete. The emptiness problem is shown to be NL-complete if the input is given as a non-surjective morphism.

On the Membership Problem of Permutation Grammars — A Direct Proof of NP-Completeness

2020 ◽  
Vol 31 (04) ◽  
pp. 515-525
Author(s):  
Benedek Nagy
Keyword(s):  
Direct Proof ◽  
Input Word ◽  
Membership Problem ◽  
Context Sensitive ◽  
Language Class ◽  
Language Classes ◽  
Sentential Form ◽  
Np Complete ◽  
Membership Problems ◽  
Context Free

One of the most essential classes of problems related to formal languages is the membership problem (also called word problem), i.e., to decide whether a given input word belongs to the language specified, e.g., by a generative grammar. For context-free languages the problem is solved efficiently by various well-known parsing algorithms. However, there are several important languages that are not context-free. The membership problem of the context-sensitive language class is PSPACE-complete, thus, it is believed that it is generally not solvable in an efficient way. There are various language classes between the above mentioned two classes having membership problems with various complexity. One of these classes, the class of permutation languages, is generated by permutation grammars, i.e., context-free grammars extended with permutation rules, where a permutation rule allows to interchange the position of two consecutive nonterminals in the sentential form. In this paper, the membership problem for permutation languages is studied. A proof is presented to show that this problem is NP-complete.

Context-sensitive underspecification and the acquisition of phonemic contrasts

1996 ◽  
Vol 23 (1) ◽  
pp. 57-79 ◽  
Author(s):  
Daniel A. Dinnsen
Keyword(s):  
Free Radical ◽  
Substitution Pattern ◽  
Phonological Representations ◽  
Context Sensitive ◽  
Plausible Account ◽  
One Stage ◽  
The Status ◽  
Context Free ◽  
Phonemic Contrasts

ABSTRACTSeveral competing proposals for the (under)specification of phonological representations are evaluated against the facts of phonemic acquisition. Longitudinal evidence relating to the emergence of a voice contrast in the well-documented study of Amahl (from age 2;2 to 3;11) is reconsidered. Neither contrastive specification nor context-free radical underspecification is capable of accounting for the facts. The problem is in the characterization of the change in the status of a feature from being noncontrastive and conditioned by context at one stage to being contrastive with phonetic effects that diffuse gradually through the lexicon. Both frameworks must treat as accidental the persistence of the early substitution pattern and require the postulation of wholesale changes in underlying representations, where these changes do not accord well with the observed phonetic changes or with the facts available to the learner. Context-sensitive radical underspecification provides a plausible account of each stage and the transition between stages with minimal grammar change.

scholarly journals Formal language theory: refining the Chomsky hierarchy

2012 ◽  
Vol 367 (1598) ◽  
pp. 1956-1970 ◽  
Author(s):  
Gerhard Jäger ◽  
James Rogers
Keyword(s):  
Natural Language ◽  
Formal Language ◽  
Regular Languages ◽  
Language Theory ◽  
Context Free Grammar ◽  
Chomsky Hierarchy ◽  
Context Sensitive ◽  
Four Levels ◽  
Context Free ◽  
Natural Language Syntax

The first part of this article gives a brief overview of the four levels of the Chomsky hierarchy, with a special emphasis on context-free and regular languages. It then recapitulates the arguments why neither regular nor context-free grammar is sufficiently expressive to capture all phenomena in the natural language syntax. In the second part, two refinements of the Chomsky hierarchy are reviewed, which are both relevant to the extant research in cognitive science: the mildly context-sensitive languages (which are located between context-free and context-sensitive languages), and the sub-regular hierarchy (which distinguishes several levels of complexity within the class of regular languages).

Sign in / Sign up

Export Citation Format

Share Document