Hardware hierarchies and recognizabilities of four-dimensional synchronized alternating turing machines

  • Authors:

  • Makoto Sakamoto;Ryoju Katamune;Tomoya Matsukawa;Hiroshi Furutani;Michio Kono;Satoshi Ikeda;Takao Ito;Yasuo Uchida;Tsunehiro Yoshinaga

  • Affiliations:

  • Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Computer Science and Systems Engineering, University of Miyazaki, Miyazaki, Miyazaki, Japan;Department of Business Administration, Ube National College of Technology, Ube, Yamaguchi, Japan;Department of Business Administration, Ube National College of Technology, Ube, Yamaguchi, Japan;Department of Computer Science and Electronic Engineering, Tokuyama College of Technology, Shunan, Yamaguchi, Japan

  • Venue:
  • WSEAS Transactions on Computers
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

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-ATM) operating in parallel. In this paper, we continue the investigations about 4-ATM's, deal with a four-dimensional synchronized alternating Turing machine (4-SATM), and investigate some properties of 4-SATM's which each sidelength of each input tape is equivalent. The main topics of this paper are: (1) hierarchies based on the number of processes of 4-SATM's, and (2) recognizability of connected pictures by 4-SATM's.