RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS

2005 ◽  
Vol 16 (05) ◽  
pp. 897-912 ◽  
Author(s):  
MICHAEL DOMARATZKI ◽  
KAI SALOMAA
Keyword(s):  
Regular Languages ◽  
Decomposition Problem ◽  
Open Question ◽  
Free Set ◽  
Context Free ◽  
Undecidability Result

The decidability of the shuffle decomposition problem for regular languages is a long standing open question. We consider decompositions of regular languages with respect to shuffle along a regular set of trajectories and obtain positive decidability results for restricted classes of trajectories. Also we consider decompositions of unary regular languages. Finally, we establish in the spirit of the Dassow-Hinz undecidability result an undecidability result for regular languages shuffled along a fixed linear context-free set of trajectories.

OVERLAP-FREE LANGUAGES AND SOLID CODES

2011 ◽  
Vol 22 (05) ◽  
pp. 1197-1209 ◽  
Author(s):  
YO-SUB HAN ◽  
KAI SALOMAA
Keyword(s):  
Polynomial Time ◽  
Data Transmission ◽  
Efficient Algorithm ◽  
Formal Language ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Regular Languages ◽  
Nice Property ◽  
Decomposition Problem ◽  
Context Free

Solid codes have a nice property called synchronization property, which is useful in data transmission. The property is derived from infix-freeness and overlap-freeness of solid codes. Since a code is a language, we look at solid codes from formal language viewpoint. In particular, we study regular solid codes (that are solid codes and regular). We first tackle the solid code decidability problem for regular languages and propose a polynomial time algorithm. We, then, investigate the decidability of the overlap-freeness property and show that it is decidable for regular languages but is undecidable for context-free languages. Then, we study the prime solid code decomposition of regular solid codes and propose an efficient algorithm for the prime solid code decomposition problem. We also demonstrate that a solid code does not always have a unique prime solid code decomposition.

CONJUNCTIVE GRAMMARS GENERATE NON-REGULAR UNARY LANGUAGES

2008 ◽  
Vol 19 (03) ◽  
pp. 597-615 ◽  
Author(s):  
ARTUR JEŻ
Keyword(s):  
Negative Answer ◽  
The Body ◽  
Regular Languages ◽  
Natural Numbers ◽  
Open Problems ◽  
Conjunctive Grammars ◽  
Unary Languages ◽  
Context Free ◽  
Conjunctive Grammar ◽  
Context Free Grammars

Conjunctive grammars, introduced by Okhotin, extend context-free grammars by an additional operation of intersection in the body of any production of the grammar. Several theorems and algorithms for context-free grammars generalize to the conjunctive case. Okhotin posed nine open problems concerning those grammars. One of them was a question, whether a conjunctive grammars over a unary alphabet generate only regular languages. We give a negative answer, contrary to the conjectured positive one, by constructing a conjunctive grammar for the language {a4n : n ∈ ℕ}. We also generalize this result: for every set of natural numbers L we show that {an : n ∈ L} is a conjunctive unary language, whenever the set of representations in base-k system of elements of L is regular, for arbitrary k.

scholarly journals BOND-FREE LANGUAGES: FORMALIZATIONS, MAXIMALITY AND CONSTRUCTION METHODS

2005 ◽  
Vol 16 (05) ◽  
pp. 1039-1070 ◽  
Author(s):  
LILA KARI ◽  
STAVROS KONSTANTINIDIS ◽  
PETR SOSÍK
Keyword(s):  
Polynomial Time ◽  
Structural Characterization ◽  
Regular Languages ◽  
Important Case ◽  
Similarity Relation ◽  
Construction Methods ◽  
Large Sets ◽  
Code Property ◽  
Context Free

The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA computations. We recall a few existing formalizations of the problem and then define the property of sim-bond-freedom, where sim is a similarity relation between words. We show that this property is decidable for context-free languages and polynomial-time decidable for regular languages. The maximality of this property also turns out to be decidable for regular languages and polynomial-time decidable for an important case of the Hamming similarity. Then we consider various construction methods for Hamming bond-free languages, including the recently introduced method of templates, and obtain a complete structural characterization of all maximal Hamming bond-free languages. This result is applicable to the θ-k-code property introduced by Jonoska and Mahalingam.

Regular patterns, regular languages and context-free languages

2010 ◽  
Vol 110 (24) ◽  
pp. 1114-1119 ◽  
Author(s):  
Sanjay Jain ◽  
Yuh Shin Ong ◽  
Frank Stephan
Keyword(s):  
Regular Languages ◽  
Context Free ◽  
Regular Patterns

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 Reversible parallel communicating finite automata systems

2021 ◽  
Vol 58 (4) ◽  
pp. 263-279
Author(s):  
Henning Bordihn ◽  
György Vaszil
Keyword(s):  
Finite Automata ◽  
Regular Languages ◽  
The Other ◽  
Deterministic Case ◽  
Computational Power ◽  
Deterministic Finite Automata ◽  
Relationship Of ◽  
The Relationship ◽  
Context Free

AbstractWe study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.

A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS

2003 ◽  
Vol 14 (06) ◽  
pp. 1007-1018 ◽  
Author(s):  
CEZAR CÂMPEANU ◽  
KAI SALOMAA ◽  
SHENG YU
Keyword(s):  
Regular Languages ◽  
Proper Subset ◽  
Regular Expressions ◽  
Formal Treatment ◽  
Practical Applications ◽  
Context Sensitive ◽  
Formal Study ◽  
Pumping Lemma ◽  
Context Free

Regular expressions are used in many practical applications. Practical regular expressions are commonly called "regex". It is known that regex are different from regular expressions. In this paper, we give regex a formal treatment. We make a distinction between regex and extended regex; while regex represent regular languages, extended regex represent a family of languages larger than regular languages. We prove a pumping lemma for the languages expressed by extended regex. We show that the languages represented by extended regex are incomparable with context-free languages and a proper subset of context-sensitive languages. Other properties of the languages represented by extended regex are also studied.

scholarly journals On the Commutative Equivalence of Algebraic Formal Series and Languages

2021 ◽  
pp. 1-27
Author(s):  
Arturo Carpi ◽  
Flavio D’Alessandro
Keyword(s):  
Exponential Growth ◽  
Regular Language ◽  
Formal Series ◽  
Regular Languages ◽  
Context Free Language ◽  
Context Free ◽  
Free Language

The problem of the commutative equivalence of context-free and regular languages is studied. Conditions ensuring that a context-free language of exponential growth is commutatively equivalent with a regular language are investigated.

APPROXIMATING DEPENDENCY GRAMMARS THROUGH INTERSECTION OF STAR-FREE REGULAR LANGUAGES

2005 ◽  
Vol 16 (03) ◽  
pp. 565-579 ◽  
Author(s):  
ANSSI YLI-JYRÄ
Keyword(s):  
Regular Languages ◽  
Dependency Grammar ◽  
Generative Power ◽  
Regular Approximation ◽  
Dependency Trees ◽  
Context Free

The paper formulates the Hays and Gaifman dependency grammar (HGDG) in terms of constraints on a string based encoding of dependency trees and develops an approach to obtain a regular approximation for these grammars. Our encoding of dependency trees uses brackets in a novel fashion: pairs of brackets indicate dependencies between pairs of positions rather than boundaries of phrases. This leads to several advantages: (i) HGDG rules over the balanced bracketing can be expressed using regular languages. (ii) A new homomorphic representation for context-free languages is obtained. (iii) A star-free regular approximation for the original projective dependency grammar is obtained by limiting the number of stacked dependencies. (iv) By relaxing certain constraints, the encoding can be extended to non-projective dependency trees and graphs, (v) strong generative power of HGDGs can now be characterized through sets of bracketed strings.

Sign in / Sign up

Export Citation Format

Share Document