State Complexity of Simple Splicing - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

State Complexity of Simple Splicing

Lila Kari
  • Fonction : Auteur
  • PersonId : 1059504
Timothy Ng
  • Fonction : Auteur
  • PersonId : 1059505

Résumé

Splicing, as a binary word/language operation, was inspired by the DNA recombination under the action of restriction enzymes and ligases, and was first introduced by Tom Head in 1987. Splicing systems as generative mechanisms were defined as consisting of an initial starting set of words called an axiom set, and a set of splicing rules—each encoding a splicing operation—, as their computational engine to iteratively generate new strings starting from the axiom set. Since finite splicing systems (splicing systems with a finite axiom set and a finite set of splicing rules) generate a subclass of the family of regular languages, descriptional complexity questions about splicing systems can be answered in terms of the size of the minimal deterministic finite automata that recognize their languages. In this paper we focus on a particular type of splicing systems, called simple splicing systems, where the splicing rules are of a particular form. We prove a tight state complexity bound of $$2^n - 1$$ for (semi-)simple splicing systems with a regular initial language with state complexity $$n \ge 3$$. We also show that the state complexity of a (semi-)simple splicing system with a finite initial language is at most $$2^{n-2} + 1$$, and that whether this bound is reachable or not depends on the size of the alphabet and the number of splicing rules.
Fichier principal
Vignette du fichier
480958_1_En_15_Chapter.pdf (333.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387296 , version 1 (29-11-2019)

Licence

Identifiants

Citer

Lila Kari, Timothy Ng. State Complexity of Simple Splicing. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.197-209, ⟨10.1007/978-3-030-23247-4_15⟩. ⟨hal-02387296⟩
32 Consultations
41 Téléchargements

Altmetric

Partager

More