Proceedings of the Third International Conference on Soft Computing for Problem Solving pp 481-493 | Cite as
Recognizability of Triangular Picture Languages by Triangular Wang Automata
Conference paper
First Online:
Abstract
Wang automata to recognize rectangular picture languages and iso-picture languages were studied in [6, 7]. In this paper we introduce triangular Wang automata based on triangular Wang tiles to recognize triangular picture languages. We discuss scanning strategies and prove that triangular Wang automata with a specific scanning strategy recognize the class of triangular pictures recognized by triangular tiling systems.
Keywords
Triangular picture languages Triangular tiling systems Scanning strategy Triangular Wang systems Wang automatonReferences
- 1.Anselmo, M., Giammarresi, D., Madonia, M., Restivo, A.: Unambiguous recognizable two-dimensional languages. Theor. Inf. Appl. 40(2), 277–293 (2006)CrossRefMATHMathSciNetGoogle Scholar
- 2.Anselmo, M., Giammarresi, D., Madonia, M.: From determinism to non-determinism in recognizable two-dimensional languages. In: Proceedings of the DLT 2007, Lecture Notes in Computer Science, vol. 4588, pp. 36–47. Springer, Heidelberg (2007) Google Scholar
- 3.Anselmo, M., Giammarresi, D., Madonia, M.: Tiling automaton: a computational model for recognizable two-dimensional languages. In: Proceedings of the CIAA 2007, Lecture Notes in Computer Science, vol. 4783, pp. 290–302 (2007)Google Scholar
- 4.Devi Rajaselvi, V., Kalyani, T., Thomas, D.G.: Domino recognizability of triangular picture languages. Int. J. Comput. Appl. 57(15), 0975–8887 (2012)Google Scholar
- 5.Inoue, K., Takanami, I.: A survey of two-dimensional automata theory. Inf. Sci. 55(1–3), 99–121 (1991)CrossRefMATHMathSciNetGoogle Scholar
- 6.Kalyani, T., Dare, V.R., Thomas, D.G.: Recognizability of iso-picture languages by Wang systems. Int. J. Imaging Syst. Technol. (Wiley Publications) 19, 140–145 (2009)Google Scholar
- 7.Lonati, V., Pradella, M.: Deterministic recognizability of picture languages with Wang automata. Discrete Math. Theor. Comput. Sci. 4, 73–94 (2010)MathSciNetGoogle Scholar
Copyright information
© Springer India 2014