A leaf-size hierarchy of two-dimensional alternating turing machines
نویسندگان
چکیده
منابع مشابه
Constant Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines
‘Leaf-size’ (or ‘branching’) is the minimum number of leaves of some accepting computation trees of alternating devices. For example, one leaf corresponds to nondeterministic computation. In this paper, we investigate the effect of constant leaves of three-dimensional alternating Turing machines, and show the following facts : (1) For cubic input tapes, k leafand L(m) space-bounded three-dimens...
متن کاملAlternating Turing machines and the analytical hierarchy
We use notions originating in Computational Complexity to provide insight into the analogies between Computational Complexity and Higher Recursion Theory. We consider alternating Turing machines, but with a modified, global, definition of acceptance. We show that a language is accepted by such a machine iff it is inductive (Π1). Moreover, total alternating machines, which either accept or rejec...
متن کاملFour-Dimensional Synchronized Alternating Turing Machines
Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM ), and investigates fundamental properties of 4-SATM ’s. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM ’s and four-dimensional alter...
متن کاملSome Results about Hierarchy and Recognizability of Four-Dimensional Synchronized Alternating Turing Machines
The recent advances in computer animation, motion image processing, robotics and so on prompted us to analyze computational complexity of four-dimensional pattern processing. Thus, the research of four-dimensional automata as a computational model of four-dimensional pattern processing has also been meaningful. From this viewpoint, we introduced a four-dimensional alternating Turing machine (4-...
متن کاملSome Accepting Powers of Three-Dimensional Synchronized Alternating Turing Machines
This paper introduces a three-dimensional synchronized alternating Turing machine (3-SATM), and investigates fundamental properties of 3-SATM ′s whose input tapes are restricted to cubic ones. The main topics of this paper are: (1) a relationship between the accepting powers of 3-SATM ′s and three-dimensional alternating Turing machines with small space bounds, (2) a relationship between the ac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1989
ISSN: 0304-3975
DOI: 10.1016/0304-3975(89)90025-x