Universality Results for Spiking Neural P Systems with Cooperating Rules

Vortrag von Maximilian Marx

Veranstaltungsort: APB 3027
Beginn: 4. Mai 2016 um 14:50
Ende: 4. Mai 2016 um 15:50
Forschungsgruppe: Wissensbasierte Systeme
Event series: KBS Seminar
iCal

Metta, Raghuraman, and Krithivasan introduce the concept of Spiking Neural systems with cooperating rules, bringing the ideas behind cooperating distributed grammar systems (CD grammar systems) to the world of Spiking Neural P systems (SN P systems), a model for computation inspired by the functioning of neurons in a nervous system. An essential feature in these systems is the cooperation of multiple components according to some fixed cooperation protocol. Building on the proof by Metta, Raghuraman, and Krithivasan for the terminating protocol, we show that universality can be retained for the other cooperation protocols by slightly lifting some of the model’s restrictions, such as using the maximally parallel mode of derivation instead of the strongly sequential mode, or allowing for local synchronization in the asynchronous case. We present a concrete example demonstrating the power of the model by generating a non-semi-linear (and hence non-context-free) set of numbers, and contrast it with a CD grammar system generating the same set.