We are introducing and discussing finite automata working on rectangular-shaped arrays (i.e., pictures) in a boustrophedon reading mode. We prove close relationships with the well-established class of regular matrix (picture) languages.We derive several combinatorial, algebraic and decidability results for the corresponding class of picture languages. For instance, we show pumping and interchange lemmas for our picture language class. We also explain similarities and differences to the status of decidability questions for classical finite string automata. For instance, the non-emptiness problem for our picture-processing automaton model(s) turns out to be NP-complete. Finally, we sketch possible applications to character recognition.
CITATION STYLE
Fernau, H., Paramasivan, M., Schmid, M. L., & Thomas, D. G. (2015). Scanning pictures the boustrophedon way. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9448, pp. 202–216). Springer Verlag. https://doi.org/10.1007/978-3-319-26145-4_15
Mendeley helps you to discover research relevant for your work.