Complexity and modeling power of insertion-deletion systems

COMPLEXITY AND MODELING POWER OF INSERTION-DELETION SYSTEMS The central object of the thesis are insertion-deletion systems and their computational power. More specifically, we study language generating models that use two string rewriting operations: contextual insertion and contextual deletion, an...

Descripción completa

Detalles Bibliográficos
Autor: Krassovitskiy, Alexander
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2011
País:España
Institución:Universitat Rovira i virgili (URV)
Repositorio:Repositori Institucional de la Universitat Rovira i Virgili
OAI Identifier:oai:urv.cat:TDX:987
Acceso en línea:https://hdl.handle.net/20.500.11797/TDX987
http://hdl.handle.net/10803/48631
Access Level:acceso abierto
Palabra clave:51 - Matemàtiques
004 - Informàtica
id ES_c69a3f1ef9647fcdd6ae338ccd60cf60
oai_identifier_str oai:urv.cat:TDX:987
network_acronym_str ES
network_name_str España
repository_id_str
spelling Complexity and modeling power of insertion-deletion systemsKrassovitskiy, Alexander51 - Matemàtiques004 - InformàticaCOMPLEXITY AND MODELING POWER OF INSERTION-DELETION SYSTEMS The central object of the thesis are insertion-deletion systems and their computational power. More specifically, we study language generating models that use two string rewriting operations: contextual insertion and contextual deletion, and their extensions. We also consider a distributed variant of insertion-deletion systems in the sense that rules are separated among a finite number of nodes of a graph. Such systems are refereed as graph-controlled systems. These systems appear in many areas of Computer Science and they play an important role in formal languages, linguistics, and bio-informatics. We vary the parameters of the vector of size of insertion-deletion systems and we study decidability/universality of obtained models. More precisely, we answer the most important questions regarding the expressiveness of the computational model: whether our model is Turing equivalent or not. We systematically approach the questions about the minimal sizes of the insertiondeletion systems with and without the graph-control.SISTEMAS DE INSERCIÓN Y BORRADO: COMPLEJIDAD Y CAPACIDAD DE MODELADO El objetivo central de la tesis es el estudio de los sistemas de inserción y borrado y su capacidad computacional. Más concretamente, estudiamos algunos modelos de generación de lenguaje que usan operaciones de reescritura de dos cadenas. También consideramos una variante distribuida de los sistemas de inserción y borrado en el sentido de que las reglas se separan entre un número finito de nodos de un grafo. Estos sistemas se denominan sistemas controlados mediante grafo, y aparecen en muchas áreas de la Informática, jugando un papel muy importante en los lenguajes formales, la lingüística y la bio-informática. Estudiamos la decidibilidad/ universalidad de nuestros modelos mediante la variación de los parámetros de tamaño del vector. Concretamente, damos respuesta a la cuestión más importante concerniente a la expresividad de la capacidad computacional: si nuestro modelo es equivalente a una máquina de Turing o no. Abordamos sistemáticamente las cuestiones sobre los tamaños mínimos de los sistemas con y sin control de grafo.Universitat Rovira i Virgili Departament de Filologies RomàniquesUniversitat Rovira i Virgili.2011info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf131 p.https://hdl.handle.net/20.500.11797/TDX987http://hdl.handle.net/10803/48631reponame:Repositori Institucional de la Universitat Rovira i Virgiliinstname:Universitat Rovira i virgili (URV)Inglésinfo:eu-repo/semantics/openAccessADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà  indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al repositori institucional de la Universitat Rovira i Virgili. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a aquest repositori (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.oai:urv.cat:TDX:9872026-06-23T12:42:27Z
dc.title.none.fl_str_mv Complexity and modeling power of insertion-deletion systems
title Complexity and modeling power of insertion-deletion systems
spellingShingle Complexity and modeling power of insertion-deletion systems
Krassovitskiy, Alexander
51 - Matemàtiques
004 - Informàtica
title_short Complexity and modeling power of insertion-deletion systems
title_full Complexity and modeling power of insertion-deletion systems
title_fullStr Complexity and modeling power of insertion-deletion systems
title_full_unstemmed Complexity and modeling power of insertion-deletion systems
title_sort Complexity and modeling power of insertion-deletion systems
dc.creator.none.fl_str_mv Krassovitskiy, Alexander
author Krassovitskiy, Alexander
author_facet Krassovitskiy, Alexander
author_role author
dc.contributor.none.fl_str_mv Departament de Filologies Romàniques
Universitat Rovira i Virgili.
dc.subject.none.fl_str_mv 51 - Matemàtiques
004 - Informàtica
topic 51 - Matemàtiques
004 - Informàtica
description COMPLEXITY AND MODELING POWER OF INSERTION-DELETION SYSTEMS The central object of the thesis are insertion-deletion systems and their computational power. More specifically, we study language generating models that use two string rewriting operations: contextual insertion and contextual deletion, and their extensions. We also consider a distributed variant of insertion-deletion systems in the sense that rules are separated among a finite number of nodes of a graph. Such systems are refereed as graph-controlled systems. These systems appear in many areas of Computer Science and they play an important role in formal languages, linguistics, and bio-informatics. We vary the parameters of the vector of size of insertion-deletion systems and we study decidability/universality of obtained models. More precisely, we answer the most important questions regarding the expressiveness of the computational model: whether our model is Turing equivalent or not. We systematically approach the questions about the minimal sizes of the insertiondeletion systems with and without the graph-control.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.11797/TDX987
http://hdl.handle.net/10803/48631
url https://hdl.handle.net/20.500.11797/TDX987
http://hdl.handle.net/10803/48631
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
131 p.
dc.publisher.none.fl_str_mv Universitat Rovira i Virgili
publisher.none.fl_str_mv Universitat Rovira i Virgili
dc.source.none.fl_str_mv reponame:Repositori Institucional de la Universitat Rovira i Virgili
instname:Universitat Rovira i virgili (URV)
instname_str Universitat Rovira i virgili (URV)
reponame_str Repositori Institucional de la Universitat Rovira i Virgili
collection Repositori Institucional de la Universitat Rovira i Virgili
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869419087208120320
score 15.300719

Similares en LA Referencia