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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call