The code problem for directed figures
Institute of Computer Science, Jagiellonian University,
Łojasiewicza 6, 30-348 Kraków, Poland; firstname.lastname@example.org
Accepted: 5 November 2010
We consider directed figures defined as labelled polyominoes with designated start and end points, with two types of catenation operations. We are especially interested in codicity verification for sets of figures, and we show that depending on the catenation type the question whether a given set of directed figures is a code is decidable or not. In the former case we give a constructive proof which leads to a straightforward algorithm.
Mathematics Subject Classification: 68R15 / 68R99
Key words: Directed figures / variable-length codes / codicity verification / Sardinas-Patterson algorithm
© EDP Sciences, 2011