A space-hierarchy result on two-dimensional alternating Turing machines with only universal states

Abstract

This paper investigates a space hierarchy of the classes of sets accepted by alternating space-bounded two-dimensional Turing machines which have only universal states and whose input tapes are restricted to square ones and shows that there exists a dense hierarchy for the classes of sets accepted by these Turing machines with spaces of size less than or equal to log m.