Abstract
A two-dimensional code is defined as a set X ⊆ Σ** such that any picture over Σ is tilable in at most one way with pictures in X. The codicity problem is in general undecidable. Very recently in [4] prefix picture codes were introduced as a decidable subclass that generalizes prefix string codes. Finite deciphering delay sets are an interesting class of string codes that coincide with prefix codes in the case of delay equal to 0. An analogous notion is introduced for picture codes and it is proved that they correspond to a bigger class of decidable picture codes that includes interesting examples and special cases.
Partially supported by MIUR Projects “Aspetti matematici e applicazioni emergenti degli automi e dei linguaggi formali” and “PRISMA PON04a2 A/F”, by 60 % Projects of University of Catania, Roma “Tor Vergata”, Salerno.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aigrain, P., Beauquier, D.: Polyomino tilings, cellular automata and codicity. Theoretical Computer Science 147, 165–180 (1995)
Anselmo, M., Giammarresi, D., Madonia, M.: Deterministic and unambiguous families within recognizable two-dimensional languages. Fund. Inform 98(2-3), 143–166 (2010)
Anselmo, M., Giammarresi, D., Madonia, M.: Strong prefix codes of pictures. In: Muntean, T., Poulakis, D., Rolland, R. (eds.) CAI 2013. LNCS, vol. 8080, pp. 47–59. Springer, Heidelberg (2013)
Anselmo, M., Giammarresi, D., Madonia, M.: Two-dimensional codes of pictures. In: Béal, M.-P., Carton, O. (eds.) DLT 2013. LNCS, vol. 7907, pp. 46–57. Springer, Heidelberg (2013)
Anselmo, M., Giammarresi, D., Madonia, M., Restivo, A.: Unambiguous recognizable two-dimensional languages. RAIRO: Theoretical Informatics and Applications 40(2), 227–294 (2006)
Anselmo, M., Madonia, M.: Deterministic and unambiguous two-dimensional languages over one-letter alphabet. Theoretical Computer Science 410(16), 1477–1485 (2009)
Beauquier, D., Nivat, M.: A codicity undecidable problem in the plane. Theoret. Comp. Sci. 303, 417–430 (2003)
Berstel, J., Perrin, D., Reutenauer, C.: Codes and Automata. Cambridge University Press (2009)
Bozapalidis, S., Grammatikopoulou, A.: Picture codes. ITA 40(4), 537–550 (2006)
Bruyère, V., Wang, L., Zhang, L.: On completion of codes with finite deciphering delay. Europ. J. Combinatorics 11, 513–521 (1990)
Giammarresi, D., Restivo, A.: Recognizable picture languages. Int. Journal Pattern Recognition and Artificial Intelligence 6(2-3), 241–256 (1992)
Giammarresi, D., Restivo, A.: Two-dimensional languages. In: Rozenberg, G. (ed.) Handbook of Formal Languages, vol. III, pp. 215–268. Springer (1997)
Grammatikopoulou, A.: Prefix picture sets and picture codes. In: Procs. CAI 2005, pp. 255–268. Aristotle University of Thessaloniki (2005)
Kolarz, M., Moczurad, W.: Multiset, Set and Numerically Decipherable Codes over Directed Figures. In: Smyth, B. (ed.) IWOCA 2012. LNCS, vol. 7643, pp. 224–235. Springer, Heidelberg (2012)
Lindgren, K., Moore, C., Nordahl, M.: Complexity of two-dimensional patterns. Journal of Statistical Physics 91(5-6), 909–951 (1998)
Moczurad, M., Moczurad, W.: Some open problems in decidability of brick (Labelled polyomino) codes. In: Chwa, K.-Y., Munro, J.I. (eds.) COCOON 2004. LNCS, vol. 3106, pp. 72–81. Springer, Heidelberg (2004)
Simplot, D.: A characterization of recognizable picture languages by tilings by finite sets. Theoretical Computer Science 218(2), 297–323 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Anselmo, M., Giammarresi, D., Madonia, M. (2014). Picture Codes with Finite Deciphering Delay. In: Dediu, AH., Martín-Vide, C., Sierra-Rodríguez, JL., Truthe, B. (eds) Language and Automata Theory and Applications. LATA 2014. Lecture Notes in Computer Science, vol 8370. Springer, Cham. https://doi.org/10.1007/978-3-319-04921-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-04921-2_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04920-5
Online ISBN: 978-3-319-04921-2
eBook Packages: Computer ScienceComputer Science (R0)