@article {574, title = {Normal forms for spiking neural P systems}, journal = {Theoretical Computer Science}, volume = {372}, year = {2007}, month = {03/2007}, pages = {196-217}, publisher = {Elsevier}, address = {Amsterdam (The Netherlands)}, abstract = {The spiking neural P systems are a class of computing devices recently introduced as a bridge between spiking neural nets and membrane computing. In this paper we prove a series of normal forms for spiking neural P systems, concerning the regular expressions used in the firing rules, the delay between firing and spiking, the forgetting rules used, and the outdegree of the graph of synapses. In all cases, surprising simplifications are found, without losing the computational completeness {\textemdash} sometimes at the price of (slightly) increasing other parameters which describe the complexity of these systems.}, keywords = {Membrane computing, normal form, Spiking neural P system, Universality}, issn = {0304-3975}, doi = {doi:10.1016/j.tcs.2006.11.025}, url = {http://www.sciencedirect.com/science?_ob=ArticleURL\&_udi=B6V1G-4MG065P-4\&_user=10\&_coverDate=03\%2F15\%2F2007\&_rdoc=1\&_fmt=high\&_orig=search\&_sort=d\&_docanchor=\&view=c\&_searchStrId=1258622819\&_rerunOrigin=google\&_acct=C000050221\&_version=1\&_urlVersion=0\&_us}, author = {Oscar Ibarra and Andrei Paun and Gheorghe Paun and Alfonso Rodr{\'\i}guez-Pat{\'o}n and Petr Sosik and Sara Woodworth} }