@article {,
	title = {Modelos de Computaci{\'o}n Molecular, Celular y Cu{\'a}ntica },
	year = {2004},
	note = {Mario J. P{\'e}rez-Jim{\'e}nez; Agust{\'\i}n Riscos-N{\'u}{\~n}ez (eds.) },
	pages = {262},
	publisher = {F{\'e}nix Editora},
	address = {Sevilla, Espa{\~n}a},
	abstract = {El presente libro consta de tres cap{\'\i}tulos, cada uno de los cuales desarrolla un tema espec{\'\i}fico relativo a un modelo de computaci{\'o}n no convencional. Sus autores son Daniel D{\'\i}az Pernil, Juan Antonio Nepomuceno Chamorro y Antonio Jes{\'u}s Ramos Espina, y los contenidos de cada uno de los cap{\'\i}tulos se corresponden con el trabajo de investigaci{\'o}n que cada uno de ellos ha presentado para la obtenci{\'o}n de los 12 cr{\'e}ditos de la fase de investigaci{\'o}n del Programa de Doctorado L{\'o}gica, Computaci{\'o}n e Inteligencia Artificial, adscrito al Departamento de Ciencias de la Computaci{\'o}n e Inteligencia Artificial de la Universidad de Sevilla 

El primer cap{\'\i}tulo se titula Combinatoria en modelos moleculares sin memoria basados en ADN. Aplicaciones, y el objetivo fundamental es el desarrollo de una teor{\'\i}a de la combinatoria en modelos moleculares sin memoria basados en ADN, y su aplicaci{\'o}n a la resoluci{\'o}n eficiente de problemas NP-completos en dicho marco computacional. 

En el segundo cap{\'\i}tulo se presenta una introducci{\'o}n bastante completa a la Computaci{\'o}n Cu{\'a}ntica, desde el an{\'a}lisis de las ideas que subyacen en el modelo, hasta la exposici{\'o}n de ejemplos que ilustren su funcionamiento, pasando por una exhaustiva exposici{\'o}n de los elementos b{\'a}sicos de la mec{\'a}nica cu{\'a}ntica que son necesarios para comprender el nuevo modelo. 

En el tercer cap{\'\i}tulo se aborda un tema especialmente interesante de los modelos celulares con membranas; concretamente el uso de recursos precomputados a la hora de obtener buenas soluciones de problemas presuntamente intratables desde el punto de vista de la Complejidad Computacional cl{\'a}sica. En este cap{\'\i}tulo se presenta un primer sistema celular que usa recursos precomputados, siguiendo las ideas de E. Czeiler, se estudia dicho modelo como un dispositivo reconocedor de lenguajes, y se describen soluciones de dos problemas de decisi{\'o}n (el test de primalidad y el problema de la satisfactibilidad de la l{\'o}gica proposicional) en este nuevo marco. 

Este libro debe ser considerado como una nueva aportaci{\'o}n al estudio de los modelos de computaci{\'o}n no convencionales. A menos que se pruebe la igualdad de las clases de complejidad P y NP, estos modelos constituyen hoy d{\'\i}a una alternativa indispensable a los modelos convencionales cuya implementaci{\'o}n ordinaria est{\'a} basada en la manipulaci{\'o}n electr{\'o}nica del silicio, debido a las limitaciones f{\'\i}sicas que tienen estos dispositivos. 

},
	isbn = {84-609-3200-1 },
	url = {http://www.cs.us.es/~marper/investigacion/cuantica.html},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'\i}n Riscos-N{\'u}{\~n}ez}
}
