k -Neighborhood Template A -Type Two-Dimensional Bounded Cellular Acceptors

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.