On the complexity of unary tiling-recognizable picture languages

Abstract

We give a characterization, in terms of computational complexity, of the family REC1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary strings to represent unary pictures and we prove that any unary picture language L is in REC1 if and only if the set of all quasi-unary strings encoding the elements of L is recognizable by a one-tape nondeterministic Turing machine that is space and head-reversal linearly bounded. In particular, the result implies that the family of binary string languages corresponding to tiling-recognizable square languages lies between NTIME(2n) and NTIME(4n). This also implies the existence of a nontiling-recognizable unary square language that corresponds to a binary string language recognizable in nondeterministic timeO(4n log n). © Springer-Verlag Berlin Heidelberg 2007.