Mostrar el registro sencillo del ítem
Artículo
Verifying a P system generating squares
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Sancho Caparrini, Fernando | es |
dc.date.accessioned | 2021-04-22T08:34:36Z | |
dc.date.available | 2021-04-22T08:34:36Z | |
dc.date.issued | 2002 | |
dc.identifier.citation | Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2002). Verifying a P system generating squares. Romanian Journal of Information Science and Technology (ROMJIST), 5 (1-2), 181-191. | |
dc.identifier.issn | 1453-8245 | es |
dc.identifier.uri | https://hdl.handle.net/11441/107543 | |
dc.description.abstract | In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, only an informal reasoning of this result is presented. In this paper we study a similar P system to it (only one evolution rule is modified). A formalization of the syntax of the P system following [3] is given, and we state the verification of the given P system through soundness and completeness: (a) every successful computation of the P system generate a square greater or equal to 1 (soundness); (b) every natural number greater or equal to 1 is the output of a successful computation of the system (completeness). Then we establish the formal verification through the study of the critical points of the computations of the P system that give to us important information to characterize the successful computations. | es |
dc.format | application/pdf | es |
dc.format.extent | 10 | es |
dc.language.iso | eng | es |
dc.publisher | Romanian Academy, Section for Information Science and Technology | es |
dc.relation.ispartof | Romanian Journal of Information Science and Technology (ROMJIST), 5 (1-2), 181-191. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Verifying a P system generating squares | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | https://www.romjist.ro/content/cuprins5_1.html | es |
dc.journaltitle | Romanian Journal of Information Science and Technology (ROMJIST) | es |
dc.publication.volumen | 5 | es |
dc.publication.issue | 1-2 | es |
dc.publication.initialPage | 181 | es |
dc.publication.endPage | 191 | es |
dc.identifier.sisius | 6610414 | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Verifying a P system generating ... | 124.0Kb | ![]() | Ver/ | |