Prefix picture codes: a decidable class of two-dimensional codes.