Site-Directed Insertion: Decision Problems, Maximality and Minimality - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Site-Directed Insertion: Decision Problems, Maximality and Minimality

Yo-Sub Han
  • Fonction : Auteur
  • PersonId : 1024595
Kai Salomaa
  • Fonction : Auteur
  • PersonId : 1022715
Taylor J. Smith
  • Fonction : Auteur
  • PersonId : 1038038

Résumé

Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a suffix and a prefix of the argument strings. We consider decision problems and language equations involving site-directed insertion. By relying on the tools provided by semantic shuffle on trajectories we show that one variable equations involving site-directed insertion and regular constants can be solved. We consider also maximal and minimal variants of the site-directed insertion operation.
Fichier principal
Vignette du fichier
main.pdf (376.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01937654 , version 1 (28-11-2018)

Identifiants

  • HAL Id : hal-01937654 , version 1

Citer

Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith. Site-Directed Insertion: Decision Problems, Maximality and Minimality. 20th International Conference on Descriptional Complexity of Formal Systems, Jul 2018, Halifax, Canada. ⟨hal-01937654⟩
25 Consultations
72 Téléchargements

Partager

Gmail Facebook X LinkedIn More