APCol systems with teams

Lucie Ciencialová, Luděk Cienciala, E. Csuhaj-Varjú

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We investigate the possibility of “going beyond” Turing in the terms of Automaton-like P Colonies (APCol systems, for short), variants of P colonies processing strings as their environments. We use the notion of teams of agents as a restriction for the maximal parallelism of the computation. In addition, we assign a colour to each team. In the course of the computation, the colour is changing according to the team that is currently active. We show that we can simulate red-green counter machines with APCol systems with two-coloured teams of minimal size. Red-green counter machines are computing devices with infinite run on finite input that exceed the power of Turing machines.

Original languageEnglish
Title of host publicationMembrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers
PublisherSpringer Verlag
Pages88-104
Number of pages17
ISBN (Print)9783319733586
DOIs
Publication statusPublished - Jan 1 2018
Event18th International Conference on Membrane Computing, CMC 1018 - Bradford, United Kingdom
Duration: Jul 24 2017Jul 28 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10725 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other18th International Conference on Membrane Computing, CMC 1018
CountryUnited Kingdom
CityBradford
Period7/24/177/28/17

Fingerprint

Color
Turing machines
Turing Machine
Turing
Processing
Parallelism
Automata
Assign
Exceed
Strings
Restriction
Computing
Term

Keywords

  • APCol systems
  • Automaton-like P colonies
  • Red-green counter machine
  • Teams
  • Unbounded computation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ciencialová, L., Cienciala, L., & Csuhaj-Varjú, E. (2018). APCol systems with teams. In Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers (pp. 88-104). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10725 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-73359-3_6

APCol systems with teams. / Ciencialová, Lucie; Cienciala, Luděk; Csuhaj-Varjú, E.

Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers. Springer Verlag, 2018. p. 88-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10725 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ciencialová, L, Cienciala, L & Csuhaj-Varjú, E 2018, APCol systems with teams. in Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10725 LNCS, Springer Verlag, pp. 88-104, 18th International Conference on Membrane Computing, CMC 1018, Bradford, United Kingdom, 7/24/17. https://doi.org/10.1007/978-3-319-73359-3_6
Ciencialová L, Cienciala L, Csuhaj-Varjú E. APCol systems with teams. In Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers. Springer Verlag. 2018. p. 88-104. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-73359-3_6
Ciencialová, Lucie ; Cienciala, Luděk ; Csuhaj-Varjú, E. / APCol systems with teams. Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers. Springer Verlag, 2018. pp. 88-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{5a4b3932332a4bc188c7d34a307e77e0,
title = "APCol systems with teams",
abstract = "We investigate the possibility of “going beyond” Turing in the terms of Automaton-like P Colonies (APCol systems, for short), variants of P colonies processing strings as their environments. We use the notion of teams of agents as a restriction for the maximal parallelism of the computation. In addition, we assign a colour to each team. In the course of the computation, the colour is changing according to the team that is currently active. We show that we can simulate red-green counter machines with APCol systems with two-coloured teams of minimal size. Red-green counter machines are computing devices with infinite run on finite input that exceed the power of Turing machines.",
keywords = "APCol systems, Automaton-like P colonies, Red-green counter machine, Teams, Unbounded computation",
author = "Lucie Ciencialov{\'a} and Luděk Cienciala and E. Csuhaj-Varj{\'u}",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-319-73359-3_6",
language = "English",
isbn = "9783319733586",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "88--104",
booktitle = "Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers",

}

TY - GEN

T1 - APCol systems with teams

AU - Ciencialová, Lucie

AU - Cienciala, Luděk

AU - Csuhaj-Varjú, E.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - We investigate the possibility of “going beyond” Turing in the terms of Automaton-like P Colonies (APCol systems, for short), variants of P colonies processing strings as their environments. We use the notion of teams of agents as a restriction for the maximal parallelism of the computation. In addition, we assign a colour to each team. In the course of the computation, the colour is changing according to the team that is currently active. We show that we can simulate red-green counter machines with APCol systems with two-coloured teams of minimal size. Red-green counter machines are computing devices with infinite run on finite input that exceed the power of Turing machines.

AB - We investigate the possibility of “going beyond” Turing in the terms of Automaton-like P Colonies (APCol systems, for short), variants of P colonies processing strings as their environments. We use the notion of teams of agents as a restriction for the maximal parallelism of the computation. In addition, we assign a colour to each team. In the course of the computation, the colour is changing according to the team that is currently active. We show that we can simulate red-green counter machines with APCol systems with two-coloured teams of minimal size. Red-green counter machines are computing devices with infinite run on finite input that exceed the power of Turing machines.

KW - APCol systems

KW - Automaton-like P colonies

KW - Red-green counter machine

KW - Teams

KW - Unbounded computation

UR - http://www.scopus.com/inward/record.url?scp=85041823395&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85041823395&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-73359-3_6

DO - 10.1007/978-3-319-73359-3_6

M3 - Conference contribution

SN - 9783319733586

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 88

EP - 104

BT - Membrane Computing - 18th International Conference, CMC 2017, Revised Selected Papers

PB - Springer Verlag

ER -