A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa

Plane-Walking Automata




TekijätSalo V, Torma I

ToimittajaTeijiro Isokawa,Katsunobu Imai,Nobuyuki Matsui,Ferdinand Peper,Hiroshi Umeo

KustantajaSprinder-Verlag New York, MS Ingrid Cunningham, 175 Fifth Ave, New York, NY 10010 USA

Julkaisuvuosi2015

JournalLecture Notes in Computer Science

Kokoomateoksen nimiCellular automata and discrete complex systems

Tietokannassa oleva lehden nimiCELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS (AUTOMATA 2014)

Lehden akronyymiLect Notes Computer Sc

Sarjan nimiLecture notes in computer science

Vuosikerta8996

Aloitussivu135

Lopetussivu148

Sivujen määrä14

ISBN978-3-319-18812-6

ISSN0302-9743

DOIhttps://doi.org/10.1007/978-3-319-18812-6_11


Tiivistelmä

In this article, we study classes of multidimensional sub-shifts defined by multihead finite automata, in particular the hierarchy of classes of subshifts defined as the number of heads grows. The hierarchy collapses on the third level, where all co-recursively enumerable subshifts are obtained in every dimension. We also compare these classes to SFTs and sofic shifts. We are unable to separate the second and third level of the hierarchy in one and two dimensions, and suggest a related open problem for two-counter machines.




Last updated on 2024-26-11 at 17:32