Formal languages
On language equations with invertible operations
Theoretical Computer Science
Reversal-Bounded Multicounter Machines and Their Decision Problems
Journal of the ACM (JACM)
Algebraic and Automata-Theoretic Properties of Formal Languages
Algebraic and Automata-Theoretic Properties of Formal Languages
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Operations and language generating devices suggested by the genome evolution
Theoretical Computer Science
On some operations on strings suggested by gene assembly in ciliates
New Generation Computing
Patterns of Micronuclear Genes in ciliates
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
The ld and dlad bio-operations on formal languages
Journal of Automata, Languages and Combinatorics
Families of languages defined by ciliate bio-operations
Theoretical Computer Science
Decidability of trajectory-based equations
Theoretical Computer Science - Mathematical foundations of computer science 2004
On codes defined by bio-operations
Theoretical Computer Science
Decision problems for language equations
Journal of Computer and System Sciences
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Schema for parallel insertion and deletion
DLT'10 Proceedings of the 14th international conference on Developments in language theory
One-reversal counter machines and multihead automata: revisited
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Evolving schemas for streaming XML
Theoretical Computer Science
Gaining power by input operations: finite automata and beyond
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
On codes defined by bio-operations
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
A ciliate bio-operation and language families
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Semantic shuffle on and deletion along trajectories
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Ciliate bio-operations on finite string multisets
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Evolving schemas for streaming XML
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Hi-index | 5.23 |
The process of gene unscrambling in ciliates (a type of unicellular protozoa), which accomplishes the difficult task of re-arranging gene segments in the correct order and deleting non-coding sequences from an "encrypted" version of a DNA strand, has been modeled and studied so far from the point of view of the computational power of the DNA bio-operations involved. Here we concentrate on a different aspect of the process, by considering only the linear version of the bio-operations, that do not involve thus any circular strands, and by studying the resulting formal operations from a purely language-theoretic point of view. We investigate closure properties of language families under the mentioned bio-operations and study language equations involving them. We also study the decidability of the existence of solutions to equations of the form L ♦ Y = R, X ♦ L = R where L and R are given languages, X and Y are unknowns, and ♦ signifies one of the defined bio-operations.