Authors
Makoto Nagatomo, Makoto Sakamoto, Hikaru Susaki, Tuo Zhang, Satoshi Ikeda,
Hiroshi Furutani, Tsutomu Ito, Takao Ito, Yasuo Uchida, Tsunehiro Yoshinaga
Corresponding Author
Makoto Nagatomo
Available Online 1 March 2016.
DOI
https://doi.org/10.2991/jrnal.2016.2.4.14
Keywords
configuration-reader, converter, four-dimension, neighbor, space-bounded,
Turing machine
Abstract
In this paper, we investigate multi-dimensional computational model, k-neighborhood
template A-type three-dimensional bounded cellular acceptor on four-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
four-dimensional tape to three-dimensional configuration. The latter determines
whether or not the derived three-dimensional configuration is accepted,
and concludes the acceptance or non-acceptance of given four-dimensional
tape. We mainly investigate some open problems about k-neighborhood template
A-type three-dimensional bounded cellular acceptor on four-dimensional
tapes whose configuration-readers are L(m) space-bounded deterministic
(nondeterministic) three-dimensional Turing machines.
Copyright
© 2013, 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/).