CIENCIALOVÁ, Lucie, Luděk CIENCIALA a Petr SOSÍK. Generalized P colonies with passive environment. Theoretical Computer Science. Amsterdam: Elsevier, 2018, roč. 724, 9 May 2018, s. 61-68. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2017.12.009.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Generalized P colonies with passive environment
Autoři CIENCIALOVÁ, Lucie (203 Česká republika, garant, domácí), Luděk CIENCIALA (203 Česká republika, domácí) a Petr SOSÍK (203 Česká republika, domácí).
Vydání Theoretical Computer Science, Amsterdam, Elsevier, 2018, 0304-3975.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/47813059:19240/18:A0000210
Organizace Filozoficko-přírodovědecká fakulta – Slezská univerzita v Opavě – Repozitář
Doi http://dx.doi.org/10.1016/j.tcs.2017.12.009
Klíčová slova anglicky computatuinal completeness; P colony; Register machine
Štítky SGS132016, ÚI
Příznaky Mezinárodní význam, Recenzováno
Návaznosti LQ1602, projekt VaV.
Změnil Změnil: Mgr. Kamil Matula, učo 1145. Změněno: 9. 4. 2018 07:53.
Anotace
We study two variants of P colonies with initial content of P colony and so-called passive environment: P colonies with two objects inside each agent that can only consume or generate objects, and P colonies with one object inside each agent using rewriting and communication rules. We show that the first kind of P colonies with one consumer agent and one sender agent can generate all sets of natural numbers computed by register machines, and hence they are computationally complete in the Turing sense. Similarly, also the second kind of systems with three agents with rewriting/communication rules is computationally complete. The paper improves previously published universality results concerning generalized P colonies, and it also extends the knowledge about very simple multi-agent systems capable of universal computation.
Vytisknout
Přidat do schránky Zobrazeno: 19. 9. 2024 00:05