Extended Spiking Neural P Systems

We consider extended variants of spiking neural P systems and show how these extensions of the original model allow for easy proofs of the computational completeness of extended spiking neural P systems and for the characterization of semilinear sets and regular languages by finite extended spiking neural P systems (defined by having only finite checking sets in the rules assigned to the cells) with only a bounded number of neurons.

[1]  Christopher J. Bishop,et al.  Pulsed Neural Networks , 1998 .

[2]  S. S. Yau.  Computation: Finite and Infinite Machines (Marvin L. Minsky) , 1969 .

[3]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[4]  Gheorghe Paun,et al.  Spike Trains in Spiking Neural P Systems , 2006, Int. J. Found. Comput. Sci..

[5]  Wulfram Gerstner,et al.  Spiking Neuron Models , 2002 .

[6]  Oscar H. Ibarra,et al.  Normal forms for spiking neural P systems , 2007, Theor. Comput. Sci..

[7]  Alfonso Rodríguez-Patón,et al.  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems , 2002, COCOON.

[8]  Gheorghe Paun.  Spiking Neural P Systems: A Tutorial , 2007, Bull. EATCS.

[9]  Rudolf Freund,et al.  On String Languages Generated by Spiking Neural P Systems , 2007, Fundam. Informaticae.

[10]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[11]  Wulfram Gerstner,et al.  SPIKING NEURON MODELS Single Neurons , Populations , Plasticity , 2002 .

[12]  Rudolf Freund,et al.  GP Systems with Forbidding Context , 2002, Fundam. Informaticae.

[13]  Rudolf Freund,et al.  Tissue-like P Systems with Channel-States , 2004 .

[14]  Rudolf Freund,et al.  From regulated rewriting to computing with membranes: collapsing hierarchies , 2004, Theor. Comput. Sci..

[15]  Grzegorz Rozenberg,et al.  Handbook of formal languages, vol. 3: beyond words , 1997 .

[16]  Máté Lengyel,et al.  Computing with spikes , 2006 .

[17]  Wulfram Gerstner,et al.  Spiking Neuron Models: An Introduction , 2002 .

[18]  Rudolf Freund,et al.  Tissue P systems with channel states , 2005, Theor. Comput. Sci..

[19]  Rudolf Freund,et al.  P Systems with Activated/Prohibited Membrane Channels , 2002, WMC-CdeA.

[20]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

[21]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[22]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[23]  Rudolf Freund,et al.  Refining the Nonterminal Complexity of Graph-controlled Grammars , 2005, DCFS.

[24]  Wolfgang Maass,et al.  Paradigms for Computing with Spiking Neurons , 2002 .