Complexity and modeling power of insertion-deletion systems

• Autores: Alexander Krassovitskiy
• Directores de la Tesis: Yurii Rogozhin (dir. tes.)
• Lectura: En la Universitat Rovira i Virgili ( España ) en 2011
• Idioma: inglés
• Tribunal Calificador de la Tesis: Carlos Martín Vide (presid.), Leupold Klaus-Peter (secret.), Giovanni Pighizzini (voc.), Pál DÖMÖSI (voc.), Elvira Mayordomo (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Informática
• Enlaces
  • Tesis en acceso abierto en: TDX
• Resumen

  • 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.