Spiking Neural P Systems: Stronger Normal Forms

Spiking neural P system is a computing device recently introduced as a bridge between spiking neural nets and membrane computing. In this paper we focus on normal forms of these systems while preserving their computational power. We show that certain combinations of existing normal forms are possible without loss Of Computational power, thus answering partially open problems stated in [3,8]. We also extend some of the already known normal forms for spiking neural P systems by considering determinism and strong acceptance condition.