A set X subset of Sigma(++) of rectangular pictures over an alphabet Sigma is a two-dimensional code if any picture over Sigma is tilable in at most one way with pictures in X. Finite strong prefix codes were introduced as a family of decidable two-dimensional codes. We consider infinite strong prefix codes and give a characterization for the maximal ones based on the iterated extensions. Moreover, we study some properties related to the measure of these codes of pictures and prove some connections with the codes of strings. (C) 2020 Published by Elsevier Inc.
Anselmo, M., Giammarresi, D., Madonia, M. (2020). Characterization and measure of infinite two-dimensional strong prefix codes. INFORMATION AND COMPUTATION, 274, 104536 [10.1016/j.ic.2020.104536].
Characterization and measure of infinite two-dimensional strong prefix codes
Giammarresi, D;
2020-01-01
Abstract
A set X subset of Sigma(++) of rectangular pictures over an alphabet Sigma is a two-dimensional code if any picture over Sigma is tilable in at most one way with pictures in X. Finite strong prefix codes were introduced as a family of decidable two-dimensional codes. We consider infinite strong prefix codes and give a characterization for the maximal ones based on the iterated extensions. Moreover, we study some properties related to the measure of these codes of pictures and prove some connections with the codes of strings. (C) 2020 Published by Elsevier Inc.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
