Brief announcement: The synergy of finite state machines

Yehuda Afek, Yuval Emek, Noa Kolikant

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

What can be computed by a network of n randomized finite state machines communicating under the stone age model [4] (a generalization of the beeping model's communication scheme)? The inherent linear upper bound on the total space of the network implies that its global computational power is not larger than that of a randomized linear space Turing machine, but is this tight? The reported reseach answers this question affirmatively for bounded degree networks by introducing a stone age algorithm (operating under the most restrictive form of the model) that given a designated I/O node, constructs a tour in the network that enables the simulation of the Turing machine's tape. To construct the tour, it is first shown how to 2-hop color the network concurrently with building a spanning tree, with high probability.

Original languageEnglish
Title of host publication31st International Symposium on Distributed Computing, DISC 2017
EditorsAndrea W. Richa
ISBN (Electronic)9783959770538
DOIs
StatePublished - 1 Oct 2017
Event31st International Symposium on Distributed Computing, DISC 2017 - Vienna, Austria
Duration: 16 Oct 201720 Oct 2017

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume91
ISSN (Print)1868-8969

Conference

Conference31st International Symposium on Distributed Computing, DISC 2017
Country/TerritoryAustria
CityVienna
Period16/10/1720/10/17

Keywords

  • Beeping communication scheme
  • Distributed network computability
  • Finite state machines
  • Stone-age model

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Brief announcement: The synergy of finite state machines'. Together they form a unique fingerprint.

Cite this