{"id":23656,"date":"2018-03-09T09:14:18","date_gmt":"2018-03-09T09:14:18","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/complejidad-y-universalidad-en-modelos-de-computacion-celular\/"},"modified":"2018-03-09T09:14:18","modified_gmt":"2018-03-09T09:14:18","slug":"complejidad-y-universalidad-en-modelos-de-computacion-celular","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sevilla\/complejidad-y-universalidad-en-modelos-de-computacion-celular\/","title":{"rendered":"Complejidad y universalidad en modelos de computaci\u00f3n celular"},"content":{"rendered":"<h2>Tesis doctoral de <strong> \u00e1lvaro Romero Jim\u00e9nez <\/strong><\/h2>\n<p>La computaci\u00f3n celular es una disciplina que se enmarca dentro del campo de investigaci\u00f3n conocido como computaci\u00f3n natural. Tiene como objetivo fundamental el desarrollo de modelos de computaci\u00f3n inspirados en los procesos que tienen lugar en el interior de las c\u00e9lulas y que son susceptibles de ser interpretados como procedimientos de c\u00e1lculo.  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\u00eda de la complejidad para estos sistemas y estudiar la potencia computacional de diversas variantes.  la demostraci\u00f3n de la completitud computacional de los sistemas de computaci\u00f3n celular suele realizarse v\u00eda los lenguajes formales. En este proyecto abordamos dicha cuesti\u00f3n intentando resolverla utilizando otros modelos universales, tales como las m\u00e1quinas de turing, las funciones recursivas y los conjuntos diof\u00e1nticos, con la esperanza de que las t\u00e9cnicas de resoluci\u00f3n 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\u00eda de la complejidad en modelos de computaci\u00f3n celular que cuantifiquen de manera precisa la cantidad de recursos utilizados en la resoluci\u00f3n de un determinado problema. Esto es en verdad as\u00ed ya que las resoluciones en tiempo polinomial de probles \u00abdif\u00edciles\u00bb, usando estos sistemas, que se han presentado hasta el momento adolecen de cierto grado de informalidad.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Complejidad y universalidad en modelos de computaci\u00f3n celular<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Complejidad y universalidad en modelos de computaci\u00f3n celular <\/li>\n<li><strong>Autor:<\/strong>\u00a0 \u00e1lvaro Romero Jim\u00e9nez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 18\/06\/2003<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> P\u00e9rez Jim\u00e9nez Mario Jes\u00fas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Mart\u00edn vide <\/li>\n<li>rudolf Freund (vocal)<\/li>\n<li>gheorghe Paun (vocal)<\/li>\n<li>claudio Zandron (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de \u00e1lvaro Romero Jim\u00e9nez La computaci\u00f3n celular es una disciplina que se enmarca dentro del campo de investigaci\u00f3n [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[10715],"tags":[70006,27166,70008,55579,55578,70007],"class_list":["post-23656","post","type-post","status-publish","format-standard","hentry","category-sevilla","tag-alvaro-romero-jimenez","tag-carlos-martin-vide","tag-claudio-zandron","tag-gheorghe-paun","tag-perez-jimenez-mario-jesus","tag-rudolf-freund"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/23656","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=23656"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/23656\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=23656"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=23656"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=23656"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}