scholarly journals LANGAGE: A maple package for automaton characterization of regular languages

2000 ◽  
Vol 231 (1) ◽  
pp. 5-15 ◽  
Author(s):  
Pascal Caron
Keyword(s):  
Regular Languages ◽  
Maple Package

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.

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 Characterization of ω-regular languages by first-order formulas

1983 ◽  
Vol 28 (3) ◽  
pp. 315-327 ◽  
Author(s):  
Kojiro Kobayashi ◽  
Masako Takahashi ◽  
Hideki Yamasaki
Keyword(s):  
Regular Languages ◽  
First Order

scholarly journals A homomorphic characterization of regular languages

1982 ◽  
Vol 4 (2) ◽  
pp. 149-152 ◽  
Author(s):  
Karel Culik ◽  
Faith E. Fich ◽  
Arto Salomaa
Keyword(s):  
Regular Languages

STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES

2013 ◽  
Vol 24 (06) ◽  
pp. 747-763 ◽  
Author(s):  
STEFANO CRESPI REGHIZZI ◽  
PIERLUIGI SAN PIETRO
Keyword(s):  
Regular Languages ◽  
Context Sensitive ◽  
Language Definition ◽  
Context Free

A recent language definition device named consensual is based on agreement between similar words. Considering a language over a bipartite alphabet made by pairs of unmarked/marked letters, the match relation specifies when such words agree. Thus a set (the “base”) over the bipartite alphabet consensually specifies another language that includes any terminal word such that a set of corresponding matching words is in the base. We show that all and only the regular languages are consensually generated by a strictly locally testable base; the result is based on a generalization of Medvedev's homomorphic characterization of regular languages. Consensually context-free languages strictly include the base family. The consensual and the base families collapse together if the base is context-sensitive.

Sign in / Sign up

Export Citation Format

Share Document