Skip to main content Accessibility help
×
Home

Two-dimensional Sgraffito automata∗∗

  • Daniel Průša (a1), František Mráz (a2) and Friedrich Otto (a3)

Abstract

We present a new model of a two-dimensional computing device called Sgraffito automaton. In general, the model is quite simple, which allows a clear design of computations. When restricted to one-dimensional inputs, that is, strings, the Sgraffito automaton does not exceed the power of finite-state automata. On the other hand, for two-dimensional inputs, it yields a family of picture languages with good closure properties that strictly includes the class REC  of recognizable picture languages. The deterministic Sgraffito automata define a class of picture languages that includes the class of deterministic recognizable picture languages DREC, the class of picture languages that are accepted by four-way alternating automata, those that are accepted by deterministic one-marker automata, and the sudoku-deterministically recognizable picture languages, but the membership problem for the accepted languages is still decidable in polynomial time. In addition, the deterministic Sgraffito automata accept some unary picture languages that are outside of the class REC.

Copyright

References

Hide All
[1] M. Anselmo, D. Giammarresi and M. Madonia, From determinism to non-determinism in recognizable two-dimensional languages, in Proc. of Developments in Language Theory, DLT 2007. Vol. 4588 of Lect. Notes Comput. Sci. Edited by T. Harju, J. Karhumäki and A. Lepistö. Heidelberg. Springer (2007) 36–47.
[2] M. Blum and C. Hewitt, Automata on a 2-dimensional tape, in Proc. of the 8th Annual Symposium on Switching and Automata Theory (SWAT 1967), FOCS ’67, Washington, DC, USA. IEEE Computer Society (1967) 155–160.
[3] B. Borchert and K. Reinhardt, Deterministically and sudoku-deterministically recognizable picture languages, in Proc. of LATA 2007. Edited by R. Loos, S.Z. Fazekas and C. Martín-Vide. Report 35/07, Tarragona. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili (2007) 175–186.
[4] S. Even and G. Even, Graph Algorithms. Computer Software Engineering Series. Cambridge University Press (2011).
[5] Giammarresi, D. and Restivo, A., Recognizable picture languages. Int. J. Pattern Recogn. Artif. Intell. 6 (1992) 241256.
[6] D. Giammarresi and A. Restivo, Two-dimensional languages. Handbook of Formal Languages, vol. 3. Edited by G. Rozenberg and A. Salomaa. Springer, New York, NY, USA (1997) 215–267.
[7] Giammarresi, D., Restivo, A., Seibert, S. and Thomas, W., Monadic second order logic over rectangular pictures and recognizability by tiling systems. Inf. Comput. 125 (1996) 3245.
[8] Hennie, F.C., One-tape, off-line Turing machine computations. Inf. Control 8 (1965) 553578.
[9] J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA (1979).
[10] P. Hsia and R.T. Yeh, Finite automata with markers, in Proc. of ICALP. Edited by M. Nivat. North-Holland, Amsterdam (1972) 443–451.
[11] Inoue, K. and Nakamura, A., Some properties of two-dimensional on-line tessellation acceptors. Information Sci. 13 (1977) 95121.
[12] K. Inoue and I. Takanami, A characterization of recognizable picture languages, in Proc. of Parallel Image Analysis. Vol. 654 of Lect. Notes Comput. Sci. Edited by A. Nakamura, M. Nivat, A. Saoudi, P.S.P. Wang and K. Inoue. Springer, Heidelberg (1993) 133–143.
[13] Inoue, A., Inoue, K., Ito, A., Wang, Y. and Okazaki, T., A note on one-pebble two-dimensional Turing machines. Information Sci. 162 (2004) 295314.
[14] P. Jančar, F. Mráz and M. Plátek, Characterization of context-free languages by erasing automata, in Proc. of MFCS 1992. Vol. 629 of Lect. Notes Comput. Sci. Edited by I.M. Havel and V. Koubek. Springer, Heidelberg (1992) 307–314.
[15] P. Jiřička and J. Král, Deterministic forgetting planar automata are more powerful than non-deterministic finite-state planar automata. In Developments in Language Theory, Singapore. Edited by G. Rozenberg and W. Thomas. World Scientific (1999) 71–80.
[16] J. Kari and C. Moore, New results on alternating and non-deterministic two-dimensional finite-state automata, in Proc. of STACS 2001. Vol. 2010 of Lect. Notes Comput. Sci. Edited by A. Ferreira and H. Reichel. Springer, Heidelberg (2001) 396–406.
[17] Lindgren, K., Moore, C. and Nordahl, M., Complexity of two-dimensional patterns. J. Statist. Phys. 91 (1998) 909951.
[18] D. Prsůˇa, F. Mráz and F. Otto, Comparing two-dimensional one-marker automata to sgraffito automata, in Proc. of CIAA 2013. Vol. 7982 of Lect. Notes Comput. Sci. Edited by S. Konstantinidis. Springer, Heidelberg (2013) 268–279.
[19] D. Prsůˇa, Weight-reducing Hennie machines and their descriptional complexity. In Proc. of LATA 2014. Vol. 8370 of Lect. Notes Comput. Sci. Edited by A.-H. Dediu, C. Martín-Vide, J.-L. Sierra-Rodríguez and B. Truthe. Springer, Heidelberg (2014) 553–564.
[20] D. Prsůˇa and F. Mráz, Two-dimensional sgraffito automata, in Proc. of DLT 2012. Vol. 7410 of Lect. Notes Comput. Sci. Edited by H.C. Yen and O.H. Ibarra. Springer, Heidelberg (2012) 251–262.
[21] D. Prsůˇa, F Mráz and F. Otto, New results on deterministic sgraffito automata, in Proc. of DLT 2013. Vol. 7907 of Lect. Notes Comput. Sci. Edited by M.P. Béal and O. Carton. Springer, Heidelberg (2013) 409–419.
[22] A. Rosenfeld, Picture Languages – Formal Models of Picture Recognition. Academic Press, New York (1979).

Keywords

Two-dimensional Sgraffito automata∗∗

  • Daniel Průša (a1), František Mráz (a2) and Friedrich Otto (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed