Results 1  10
of
44
Language equations, maximality and errordetection
, 2005
"... We use some ‘natural’ language operations, such as shuffle (scattered insertion) and scattered deletion to model noisy channels, that is, nondeterministic processes transforming words to words. In this spirit, we also introduce the operation of scattered substitution and derive the closure propertie ..."
Abstract

Cited by 13 (7 self)
 Add to MetaCart
We use some ‘natural’ language operations, such as shuffle (scattered insertion) and scattered deletion to model noisy channels, that is, nondeterministic processes transforming words to words. In this spirit, we also introduce the operation of scattered substitution and derive the closure properties of the language families in the Chomsky hierarchy under this operation. Moreover, we consider a certain type of language inequations involving language operations and observe that, by varying the parameters of such an inequation, we can define families of codes such as prefix and infix, as well as families of errordetecting languages. Our results on this type of inequations include a characterization of the maximal solutions, which provides a uniform method for deciding whether a given regular code of the type defined by the inequation is maximal.
Partial Words for DNA Coding
 In Preliminary Proceedings of 10th International Workshop on DNABased Computers, DNA 2004 (University of MilanoBicocca
, 2004
"... A very basic problem in all DNA computations is nding a good encoding. Apart from the fact that they must provide a solution, the strands involved should not exhibit any undesired behaviour like forming secondary structures. ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
A very basic problem in all DNA computations is nding a good encoding. Apart from the fact that they must provide a solution, the strands involved should not exhibit any undesired behaviour like forming secondary structures.
Watson–Crick conjugate and commutative words, in
 Proc. of DNA 13, in: LNCS
, 2008
"... Abstract. This paper is a theoretical study of notions in combinatorics of words motivated by information being encoded as DNA strands in DNA computing. We generalize the classical notions of conjugacy and commutativity of words to incorporate the notion of an involution function, a formalization of ..."
Abstract

Cited by 12 (11 self)
 Add to MetaCart
Abstract. This paper is a theoretical study of notions in combinatorics of words motivated by information being encoded as DNA strands in DNA computing. We generalize the classical notions of conjugacy and commutativity of words to incorporate the notion of an involution function, a formalization of the WatsonCrick complementarity of DNA singlestrands. We define and study properties of WatsonCrick conjugate and commutative words, as well as WatsonCrick palindromes. We obtain, for example, a complete characterization of the set of all words that are not WatsonCrick palindromes. Our results hold for more general functions, such as arbitrary morphic and antimorphic involutions. They generalize classical results in combinatorics of words, while formalizing concepts meaningful for DNA computing experiments. 1
Conway's Problem and the commutation of languages
 Bulletin of EATCS
, 2001
"... We survey the known results on two old open problems on commutation of languages. The first problem, raised by Conway in 1971, is asking if the centralizer of a rational language must be rational as well – the centralizer of a language is the largest set of words commuting with that language. The se ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We survey the known results on two old open problems on commutation of languages. The first problem, raised by Conway in 1971, is asking if the centralizer of a rational language must be rational as well – the centralizer of a language is the largest set of words commuting with that language. The second problem, proposed by Ratoandromanana in 1989, is asking for a characterization of those languages commuting with a given code – the conjecture is that the commutation with codes may be characterized as in free monoids. We present here simple proofs for the known results on these two problems. 1
Maximal and minimal solutions to language equations
 J. Comp. Sys. Sci
, 1996
"... RhX=LhY, where h is a binary word (language) operation, L, R are given constant languages and X, Y are the unknowns. We investigate the existence and uniqueness of maximal and minimal solutions, properties of solutions, and the decidability of the existence of solutions.] 1996 Academic Press, Inc. 1 ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
RhX=LhY, where h is a binary word (language) operation, L, R are given constant languages and X, Y are the unknowns. We investigate the existence and uniqueness of maximal and minimal solutions, properties of solutions, and the decidability of the existence of solutions.] 1996 Academic Press, Inc. 1.
Involutively bordered words
 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
"... In this paper we study a generalization of the classical notions of bordered and unbordered words, motivated by DNA computing. DNA strands can be viewed as finite strings over the alphabet {A, G, C, T}, and are used in DNA computing to encode information. Due to the fact that A is WatsonCrick compl ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
In this paper we study a generalization of the classical notions of bordered and unbordered words, motivated by DNA computing. DNA strands can be viewed as finite strings over the alphabet {A, G, C, T}, and are used in DNA computing to encode information. Due to the fact that A is WatsonCrick complementary to T and G to C, DNA single strands that are WatsonCrick complementary can bind to each other or to themselves in either intended or unintended ways. One of the structures that is usually undesirable for biocomputation, since it makes the affected DNA string unavailable for future interactions, is the hairpin: If some subsequences of a DNA single string are complementary to each other, the string will bind to itself forming a hairpinlike structure. This paper studies a mathematical formalization of a particular case of hairpins, the WatsonCrick bordered words. A WatsonCrick bordered word is a word with the property that it has a prefix that is WatsonCrick complementary to its suffix. More generally, we investigate the notion of θbordered words, where θ is a morphic or antimorphic involution. We show that the set of all θbordered words is regular, when θ is an antimorphic involution and the set of all θbordered words is contextsensitive when θ is a morphic involution. We study the properties of θbordered and θunbordered words and also the relation between θbordered and θunbordered words and certain type of involution codes.
On pseudoknot words and their properties
, 2007
"... We study a generalization of the classical notions of bordered and unbordered words, motivated by biomolecular computing. DNA strands can be viewed as finite strings over the alphabet {A, G, C, T}, and are used in biomolecular computing to encode information. Due to the fact that A is WatsonCrick ( ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
We study a generalization of the classical notions of bordered and unbordered words, motivated by biomolecular computing. DNA strands can be viewed as finite strings over the alphabet {A, G, C, T}, and are used in biomolecular computing to encode information. Due to the fact that A is WatsonCrick (WK) complementary to T and G to C, DNA single strands that are WK complementary can bind to each other or to themselves forming socalled secondary structures. Secondary structures are usually undesirable for biomolecular computational purposes since the strands involved in such structures cannot further interact with other strands. This paper studies pseudoknotbordered words, a mathematical formalization of a common secondary structure, the pseudoknot. We obtain several properties of WKpseudoknotbordered and unbordered words. One of the main results of the paper is that a sufficient condition for a WKpseudoknotunbordered word u to result in all words in u + being WKpseudoknotunbordered is for u not to be primitive word. All our results hold for arbitrary antimorphic involutions, of which the WK complementarity function is a particular case.
Quotient complexity of ideal languages
 In: LATIN 2010. LNCS 6034, SpringerVerlag
, 2010
"... Abstract. We study the state complexity of regular operations in the class of ideal languages. A language L ⊆ Σ ∗ is a right (left) ideal if it satisfies L = LΣ ∗ (L = Σ ∗ L). It is a twosided ideal if L = Σ ∗ LΣ ∗ , and an allsided ideal if L = Σ ∗ L, the shuffle of Σ ∗ with L. We prefer the term ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. We study the state complexity of regular operations in the class of ideal languages. A language L ⊆ Σ ∗ is a right (left) ideal if it satisfies L = LΣ ∗ (L = Σ ∗ L). It is a twosided ideal if L = Σ ∗ LΣ ∗ , and an allsided ideal if L = Σ ∗ L, the shuffle of Σ ∗ with L. We prefer the term “quotient complexity ” instead of “state complexity”, and we use derivatives to calculate upper bounds on quotient complexity, whenever it is convenient. We find tight upper bounds on the quotient complexity of each type of ideal language in terms of the complexity of an arbitrary generator and of its minimal generator, the complexity of the minimal generator, and also on the operations union, intersection, set difference, symmetric difference, concatenation, star and reversal of ideal languages.
Commutation Problems on Sets of Words and Formal Power Series
, 2002
"... We study in this thesis several problems related to commutation on sets of words and on formal power series. We investigate the notion of semilinearity for formal power series in commuting variables, introducing two families of series  the semilinear and the bounded series  both natural generaliza ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
We study in this thesis several problems related to commutation on sets of words and on formal power series. We investigate the notion of semilinearity for formal power series in commuting variables, introducing two families of series  the semilinear and the bounded series  both natural generalizations of the semilinear languages, and we study their behaviour under rational operations, morphisms, Hadamard product, and difference. Turning to commutation on sets of words, we then study the notions of centralizer of a language  the largest set commuting with a language , of root and of primitive root of a set of words. We answer a question raised by Conway more than thirty years ago  asking whether or not the centralizer of any rational language is rational  in the case of periodic, binary, and ternary sets of words, as well as for rational ccodes, the most general results on this problem. We also prove that any code has a unique primitive root and that two codes commute if and only if they have the same primitive root, thus solving two conjectures of Ratoandromanana, 1989. Moreover, we prove that the commutation with an ccode X can be characterized similarly as in free monoids: a language commutes with X if and only if it is a union of powers of the primitive root of X.
The syntactic monoid of hairpinfree languages
, 2007
"... The study of hairpinfree words has been initiated in the context of DNA computing. DNA strands that, theoretically speaking, are finite strings over the alphabet {A, G, C, T} are used in DNA computing to encode information. Due to the fact that A is complementary to T and G to C, DNA single strand ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
The study of hairpinfree words has been initiated in the context of DNA computing. DNA strands that, theoretically speaking, are finite strings over the alphabet {A, G, C, T} are used in DNA computing to encode information. Due to the fact that A is complementary to T and G to C, DNA single strands that are complementary can bind to each other or to themselves in either intended or unintended ways. One of the structures that is usually undesirable for biocomputation, since it makes the affected DNA string unavailable for future interactions, is the hairpin: if some subsequences of a DNA single string are complementary to each other, the string will bind to itself forming a hairpinlike structure. This paper continues the theoretical study of hairpinfree languages. We study algebraic properties of hairpinfree words and hairpins. We also give a complete characterization of the syntactic monoid of the language consisting of all hairpinfree words over a given alphabet and illustrate it with an example using the DNA alphabet.