Authors
Makoto Sakamoto, Yu-an Zhang, Masamichi Hori, Haruka Tsuboi, Satoshi Ikeda,
Kenji Aoki, Tsutomu Ito, Takao Ito, Yasuo Uchida, Tsunehiro Yoshinaga
Corresponding Author
Makoto Sakamoto
Available Online 31 March 2018.
DOI
https://doi.org/10.2991/jrnal.2018.4.4.3
Keywords
acceptor, configuration-reader, converter, neighbor, space-bounded, three-dimension,
Turing machine.
Abstract
In this paper, we deal with three-dimensional computational model, k-neighborhood
template A-type two-dimensional bounded cellular acceptor on three-dimensional
tapes, and discuss some basic properties. This model consists of a pair
of a converter and a configuration-reader. The former converts the given
three-dimensional tape to two-dimensional configuration. The latter determines
whether or not the derived two-dimensional configuration is accepted, and
concludes the acceptance or non-acceptance of given three-dimensional tape.
We mainly investigate some open problems about k-neighborhood template
A-type two-dimensional bounded cellular acceptor on three- dimensional
tapes whose configuration-readers are L(m) space-bounded deterministic
(nondeterministic) two-dimensional Turing machines.
Copyright
© 2018, the Authors. Published by ALife Robotics Corp. Ltd.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).