Closure properties of the classes of sets recognized by space-bounded two-dimensional probabilistic turing machines

1999 ◽  
Vol 115 (1-4) ◽  
pp. 61-81 ◽  
Author(s):  
Tokio Okazaki ◽  
Katsushi Inoue ◽  
Akira Ito ◽  
Yue Wang
Keyword(s):  
Two Dimensional ◽  
Turing Machines ◽  
Closure Properties

Preface

1997 ◽  
Vol 11 (07) ◽  
pp. 1023-1024
Author(s):  
Serge Miguet ◽  
Annick Montanvert ◽  
P. S. P. Wang
Keyword(s):  
Finite State Machine ◽  
Finite Automata ◽  
Upper Bounds ◽  
Two Dimensional ◽  
Turing Machines ◽  
Closure Properties ◽  
Working Space ◽  
Finite State ◽  
The Individual ◽  
Alternating Turing Machines

Several nonclosure properties of each class of sets accepted by two-dimensional alternating one-marker automata, alternating one-marker automata with only universal states, nondeterministic one-marker automata, deterministic one-marker automata, alternating finite automata, and alternating finite automata with only universal states are shown. To do this, we first establish the upper bounds of the working space used by "three-way" alternating Turing machines with only universal states to simulate those "four-way" non-storage machines. These bounds provide us a simplified and unified proof method for the whole variants of one-marker and/or alternating finite state machine, without directly analyzing the complex behavior of the individual four-way machine on two-dimensional rectangular input tapes. We also summarize the known closure properties including Boolean closures for all the variants of two-dimensional alternating one-marker automata.

Nonclosure Properties of Two-Dimensional One-Marker Automata

1997 ◽  
Vol 11 (07) ◽  
pp. 1025-1050 ◽  
Author(s):  
Akira Ito ◽  
Katsushi Inoue ◽  
Yue Wang
Keyword(s):  
Finite State Machine ◽  
Finite Automata ◽  
Upper Bounds ◽  
Two Dimensional ◽  
Turing Machines ◽  
Closure Properties ◽  
Working Space ◽  
Finite State ◽  
The Individual ◽  
Alternating Turing Machines

Several nonclosure properties of each class of sets accepted by two-dimensional alternating one-marker automata, alternating one-marker automata with only universal states, nondeterministic one-marker automata, deterministic one-marker automata, alternating finite automata, and alternating finite automata with only universal states are shown. To do this, we first establish the upper bounds of the working space used by "three-way" alternating Turing machines with only universal states to simulate those "four-way" non-storage machines. These bounds provide us a simplified and unified proof method for the whole variants of one-marker and/or alternating finite state machine, without directly analyzing the complex behavior of the individual four-way machine on two-dimensional rectangular input tapes. We also summarize the known closure properties including Boolean closures for all the variants of two-dimensional alternating one-marker automata.

RESTARTING TILING AUTOMATA

2013 ◽  
Vol 24 (06) ◽  
pp. 863-878 ◽  
Author(s):  
DANIEL PRŮŠA ◽  
FRANTIŠEK MRÁZ
Keyword(s):  
Regular Languages ◽  
Two Dimensional ◽  
Scanning Strategy ◽  
Closure Properties ◽  
Computing Device ◽  
New Model ◽  
Picture Languages

We present a new model of a two-dimensional computing device called restarting tiling automaton. The automaton defines a set of tile-rewriting, weight-reducing rules and a scanning strategy by which a tile to rewrite is being searched. We investigate properties of the induced families of picture languages. Special attention is paid to picture languages that can be accepted independently of the scanning strategy. We show that this family strictly includes REC and exhibits similar closure properties. Moreover, we prove that its intersection with the set of one-row languages coincides with the regular languages.

TWO TOPICS CONCERNING TWO-DIMENSIONAL AUTOMATA OPERATING IN PARALLEL

1992 ◽  
Vol 06 (02n03) ◽  
pp. 211-225 ◽  
Author(s):  
KATSUSHI INOUE ◽  
ITSUO SAKURAMOTO ◽  
MAKOTO SAKAMOTO ◽  
ITSUO TAKANAMI
Keyword(s):  
Turing Machine ◽  
Finite Automata ◽  
Space Complexity ◽  
Two Dimensional ◽  
Turing Machines ◽  
Small Space ◽  
Bottom Up ◽  
Constructible Function ◽  
Deterministic Turing Machine ◽  
Alternating Turing Machines

This paper deals with two topics concerning two-dimensional automata operating in parallel. We first investigate a relationship between the accepting powers of two-dimensional alternating finite automata (2-AFAs) and nondeterministic bottom-up pyramid cellular acceptors (NUPCAs), and show that Ω ( diameter × log diameter ) time is necessary for NUPCAs to simulate 2-AFAs. We then investigate space complexity of two-dimensional alternating Turing machines (2-ATMs) operating in small space, and show that if L (n) is a two-dimensionally space-constructible function such that lim n → ∞ L (n)/ loglog n > 1 and L (n) ≤ log n, and L′ (n) is a function satisfying L′ (n) =o (L(n)), then there exists a set accepted by some strongly L (n) space-bounded two-dimensional deterministic Turing machine, but not accepted by any weakly L′ (n) space-bounded 2-ATM, and thus there exists a rich space hierarchy for weakly S (n) space-bounded 2-ATMs with loglog n ≤ S (n) ≤ log n.

A note on one-pebble two-dimensional Turing machines

2003 ◽  
Vol 12 ◽  
pp. 360-371
Author(s):  
A. Inoue ◽  
K. Inoue ◽  
A. Ito ◽  
Y. Wang ◽  
T. Okazaki
Keyword(s):  
Two Dimensional ◽  
Turing Machines

CHARACTERIZING THE ABILITY OF PARALLEL ARRAY GENERATORS ON REVERSIBLE PARTITIONED CELLULAR AUTOMATA

1999 ◽  
Vol 13 (04) ◽  
pp. 523-538 ◽  
Author(s):  
KENICHI MORITA ◽  
SATOSHI UENO ◽  
KATSUNOBU IMAI
Keyword(s):  
Pattern Recognition ◽  
Cellular Automata ◽  
Cellular Automaton ◽  
Inverse System ◽  
Two Dimensional ◽  
Turing Machines ◽  
Recognition Mechanism ◽  
Parallel Array ◽  
Parallel Pattern ◽  
Monotonic Constraint

A PCAAG introduced by Morita and Ueno is a parallel array generator on a partitioned cellular automaton (PCA) that generates an array language (i.e. a set of symbol arrays). A "reversible" PCAAG (RPCAAG) is a backward deterministic PCAAG, and thus parsing of two-dimensional patterns can be performed without backtracking by an "inverse" system of the RPCAAG. Hence, a parallel pattern recognition mechanism on a deterministic cellular automaton can be directly obtained from a RPCAAG that generates the pattern set. In this paper, we investigate the generating ability of RPCAAGs and their subclass. It is shown that the ability of RPCAAGs is characterized by two-dimensional deterministic Turing machines, i.e. they are universal in their generating ability. We then investigate a monotonic RPCAAG (MRPCAAG), which is a special type of an RPCAAG that satisfies monotonic constraint. We show that the generating ability of MRPCAAGs is exactly characterized by two-dimensional deterministic linear-bounded automata.

Sign in / Sign up

Export Citation Format

Share Document