Tesis doctoral de álvaro Romero Jiménez
La computación celular es una disciplina que se enmarca dentro del campo de investigación conocido como computación natural. Tiene como objetivo fundamental el desarrollo de modelos de computación inspirados en los procesos que tienen lugar en el interior de las células y que son susceptibles de ser interpretados como procedimientos de cálculo. en el presente proyecto se persiguen dos objetivos fundamentales: por un lado, se pretende establecer, y en su caso verificar, la completitud computacional de ciertas variante de sistemas p, usando herramientas distintas de las habituales; por otro lado, se pretende iniciar el desarrollo de una teoría de la complejidad para estos sistemas y estudiar la potencia computacional de diversas variantes. la demostración de la completitud computacional de los sistemas de computación celular suele realizarse vía los lenguajes formales. En este proyecto abordamos dicha cuestión intentando resolverla utilizando otros modelos universales, tales como las máquinas de turing, las funciones recursivas y los conjuntos diofánticos, con la esperanza de que las técnicas de resolución de problemas desarrolladas para estos modelos se puedan de alguna manera adaptar a los sistemas p. por otra parte, es necesario disponer de una teoría de la complejidad en modelos de computación celular que cuantifiquen de manera precisa la cantidad de recursos utilizados en la resolución de un determinado problema. Esto es en verdad así ya que las resoluciones en tiempo polinomial de probles «difíciles», usando estos sistemas, que se han presentado hasta el momento adolecen de cierto grado de informalidad.
Datos académicos de la tesis doctoral «Complejidad y universalidad en modelos de computación celular«
- Título de la tesis: Complejidad y universalidad en modelos de computación celular
- Autor: álvaro Romero Jiménez
- Universidad: Sevilla
- Fecha de lectura de la tesis: 18/06/2003
Dirección y tribunal
- Director de la tesis
- Pérez Jiménez Mario Jesús
- Tribunal
- Presidente del tribunal: Carlos Martín vide
- rudolf Freund (vocal)
- gheorghe Paun (vocal)
- claudio Zandron (vocal)