Gheorghe Păun

Explora los aspectos semánticos de los lenguajes de programación y la complejidad computacional, vinculando los formalismos de los autómatas y las gramáticas con el análisis práctico de programas.

Este libro explora las bases teóricas y experimentales de la computación basada en ADN, una disciplina que utiliza moléculas biológicas para resolver problemas computacionales.

Un estudio exhaustivo sobre los autómatas celulares, sistemas discretos que evolucionan en el tiempo en base a reglas locales, explorando sus fundamentos teóricos y diversas aplicaciones en campos como la biología y la computación.

Este libro presenta la teoría y aplicaciones de la computación de membranas, un modelo de computación inspirado en los procesos biológicos que utiliza estructuras de membrana para realizar cálculos y resolver problemas complejos.

Este libro explora los sistemas P, un modelo de computación basado en la biología, y analiza sus propiedades computacionales y complejidades, así como sus aplicaciones en diversas áreas.

Este libro explora la teoría de la computabilidad y la complejidad a través de los sistemas de P, ofreciendo un análisis profundo de sus propiedades computacionales y la relación entre biología y computación.