Chapter of Book
Generation of Diophantine Sets by Computing P Systems with External Output
Author/s | Romero Jiménez, Álvaro
Pérez Jiménez, Mario de Jesús |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2002 |
Deposit Date | 2016-09-13 |
Published in |
|
ISBN/ISSN | 978-3-540-44311-7 0302-9743 |
Abstract | In this paper a variant of P systems with external output
designed to compute functions on natural numbers is presented. These
P systems are stable under composition and iteration of functions. We
prove that every ... In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every diophantine set can be generated by such P systems; then, the universality of this model can be deduced from the theorem by Matiyasevich, Robinson, Davis and Putnam in which they establish that every recursively enumerable set is a diophantine set. |
Files | Size | Format | View | Description |
---|---|---|---|---|
gdscpseo.pdf | 238.9Kb | [PDF] | View/ | |