Formal languages
Characterizations of recursively enumerable languages by means of insertion grammars
Theoretical Computer Science
Introduction to Formal Language Theory
Introduction to Formal Language Theory
Note: On the weight of universal insertion grammars
Theoretical Computer Science
Hi-index | 0.00 |
Transposable genetic elements are prevalent across many living organisms from bacteria to large mammals. Given the linear primary structure of genetic material, this process is natural to study from a theoretical perspective using formal language theory. We abstract the process of genetic transposition to operations on languages and study it combinatorially and computationally. It is shown that the power of such systems is large relative to the classic Chomsky Hierarchy. However, we are still able to algorithmically determine whether or not a string is a possible product of the iterated application of the operations.