Formal languages
Petri net algorithms in the theory of matrix grammars
Acta Informatica
Handbook of formal languages, vol. 3: beyond words
Handbook of formal languages, vol. 3: beyond words
Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages
Journal of the ACM (JACM)
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Pulsed Neural Networks
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Spiking Neuron Models: An Introduction
Spiking Neuron Models: An Introduction
Computation: finite and infinite machines
Computation: finite and infinite machines
Normal forms for spiking neural P systems
Theoretical Computer Science
Transactions on Rough Sets IV
Fundamenta Informaticae
Homogeneous Spiking Neural P Systems
Fundamenta Informaticae
Spiking neural p systems with functional astrocytes
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Reversible spiking neural P systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Spiking neural P systems with rules on synapses
Theoretical Computer Science
Hi-index | 0.00 |
We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the set of spike trains of halting computations of a given system constitutes the language generated by that system. Although the "direct" generative capacity of spiking neural P systems is rather restricted (some very simple languages cannot be generated in this framework), regular languages are inverse-morphic images of languages of finite spiking neural P systems, and recursively enumerable languages are projections of inverse-morphic images of languages generated by spiking neural P systems.