Lataa...

Insertion-Deletion Systems with Substitutions I

With good biological motivation, we add substitutions as a further type of operations to (in particular, context-free) insertion-deletion systems. This way, we obtain new characterizations of and normal forms for context-sensitive and recursively enumerable languages.

Tallennettuna:
Bibliografiset tiedot
Julkaisussa:Beyond the Horizon of Computability
Päätekijät: Vu, Martin, Fernau, Henning
Aineistotyyppi: Artigo
Kieli:Inglês
Julkaistu: 2020
Aiheet:
Linkit:https://ncbi.nlm.nih.gov/pmc/articles/PMC7309486/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51466-2_33
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!