On the power of finite automata with both nondeterministic and probabilistic states (preliminary version)

We study finite automata with both nondeterministic and random states (npfa’s). We restrict our attention to those npfa’s that accept their languages with a small probability of error and run in polynomial expected time. Equivalently, we study Arthur-Merlin games where the players are limited to polynomial time and constant space. Dwork and Stockmeyer asked whether the above class of npfa’s accept only the regular languages (this was known if the automaton has only randomness or only nondeterminism). We show that the answer is yes in the case of npfa’s with a l-way input head. We also show that if L is a nonregular language, then either L or ~ is not accepted by any npfa with a 2-way input head. Toward this end, we define a new measure of the complexity of a language L, called its l-tiling complexity. For each n, this is the number of tiles needed to cover the 1‘s in the “characteristic matrix” of L, namely the binary matrix with a row and column for each string of length ~ n, where entry [z, y] = 1 if and only if the string zy E L. We show that a language has constant l-tiling complexity if and only if it is regular, from which the result on *Department of Computer Sciences, University of Wisconsin, 1210 West Dayton St., Madison, WI 53706. condon~cs .uisc. edu. Supported in part by NSF grant CCR-9257241. t Department of Electrical Engineering and Computer Science, Northwestern University, 2145 Sheridan Rd., Evanston IL 602083118. hstein@eecs. mm. edu. Supported in part by NSF grant 0830350-F674. f DeP=tment of Computer Sciences, University of Wi5C0nSin, 1210 West Dayton St., Madison, WI 53706. pottle@cs .wisc. edu. Supported by NSF grant CCR-9257241. $Computer science Department, Hebrew University, Jerusalem, 91904, Israel. avi~cs. huji. ac. il. Supported in part by BSF grant 92-00106/1 and a grant from the Wolfson Research Awards. Permission to co y without fee all or patt of this material is cl’ granted provide that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association of Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. STOC 945/94 Montreal, Quebec, Canada @ 1994 ACM 0-89791 -663-8/94/0005...$3.50 Samuel Pottle $ Avi Wigderson ~ l-way input follows. Our main result regarding the general 2-way input tape follows by contrasting two bounds: an upper bound of polylog(n) on the l-tiling complexity of every language computed by our model, and a lower bound stating that the l-tiling complexity of a nonregular language or its complement exceeds a function in 2°(=J infinitely often. The last lower bound follows by proving that the characteristic matrix of ever-y nonregular language has rank n for infinitely many n. This is our main technical result, and its proof uses techniques of Frobenius and Iohvidov developed for Hankel matrices.