<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Oscar Ibarra</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Takashi Yokomori</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On spiking neural P systems</style></title><secondary-title><style face="normal" font="default" size="100%">Natural Computing</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Asynchronous</style></keyword><keyword><style  face="normal" font="default" size="100%">Finite automaton</style></keyword><keyword><style  face="normal" font="default" size="100%">Finite state transducer</style></keyword><keyword><style  face="normal" font="default" size="100%">Formal Verification</style></keyword><keyword><style  face="normal" font="default" size="100%">Sequential</style></keyword><keyword><style  face="normal" font="default" size="100%">Spiking neural P system</style></keyword><keyword><style  face="normal" font="default" size="100%">Systolic trellis automaton</style></keyword><keyword><style  face="normal" font="default" size="100%">Universality</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">06/2010</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.springerlink.com/content/krhu646461138370/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam, Netherlands</style></pub-location><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">475-491</style></pages><abstract><style face="normal" font="default" size="100%">This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some variants. A methodology based on the information given by the transition diagram associated with an SN P system is presented. The analysis of the diagram cycles codifies invariants formulae which enable us to establish the soundness and completeness of the system with respect to the problem it tries to resolve. We also study the universality of asynchronous and sequential SN P systems and the capability these models have to generate certain classes of languages. Further, by making a slight modification to the standard SN P systems, we introduce a new variant of SN P systems with a special I/O mode, called SN P modules, and study their computing power. It is demonstrated that, as string language acceptors and transducers, SN P modules can simulate several types of computing devices such as finite automata, a-finite transducers, and systolic trellis automata.</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record></records></xml>