|
|
|
|
|
|
Languages of pictures (2D matrices with entries from a finite alphabet) have been studied since Blum and Hewitt [1]; Rosenfeld [2]; and Siromoney, Siromoney, and Krithivasan [3]. A nondeterministic notion of recognizability by tessellation or tiling was introduced by Inoue and Nakamura [4] and studied by Giammarresi and Restivo [5]. A deterministic one-pass version, proceeding from the top left of the picture toward the bottom right, has been studied by Anselmo, Giammarresi, and Madonia [6]. The authors wish to have a less restrictive model: their deterministic ordered restarting automata (DORA) can move up, down, and right on the picture (this three-way idea was developed by Inoue and Takanami [7]). Further, they order the working alphabet of the automaton, allow replacement of a picture symbol by a lesser one in the ordering, and restart from the initial state at the top left position. Thus, only a bounded number of passes is possible over the picture; for words, this idea was shown by Hennie [8] to only accept regular languages. The authors define three variants (two-way, extended two-way, and three-way) of automata; the membership problems of the corresponding languages are in polynomial time. The differences in the variants show up when considering languages that check whether particular rows and columns are copies or reversals of each other, or are palindromes themselves. A discussion on why having these languages is important for a picture automaton model is needed. The authors do not compare these classes to other intermediate models considered in [6].
|
|
Reviewer:
K. Lodaya |
Review #: CR144070
(1603-0209) |
|
|
1) |
Blum, M.; Hewitt, C. Automata on a 2-dimensional tape. In Proc. of the 8th Ann. Symp. SWAT (FOCS) (Austin, ), IEEE, 1967, 155–160. |
|
2) |
Rosenfeld, A. Isotonic grammars, parallel grammars, and picture grammars. In: Machine intelligence VI. 281-294, Univ. of Edinburgh Press, 1971. |
|
3) |
Siromoney, G.; Siromoney, R.; Krithivasan, K. Abstract families of matrices and picture languages. Comput. Graph, Image Process 1, 3(1972), 284–307. |
|
4) |
Inoue, K.; Nakamura, A. Some properties of two-dimensional on-line tessellation acceptors. Information Sciences 13, 2(1977), 95–121. |
|
5) |
Giammarresi, D.; Restivo, A. Recognizable picture languages. Int. Journal of Pattern Recognition and Artificial Intelligence 6, 2-3(1992), 241–256. |
|
6) |
Anselmo, M.; Giammarresi, D.; Madonia, M. Deterministic and unambiguous families within recognizable two-dimensional languages. Fundamenta Informaticae 98, 2-3(2010), 143–166. |
|
7) |
Inoue, K.; Takanami, I. Three-way tape-bounded two-dimensional Turing machines. Information Sciences 17, 3(1979), 195–220. |
|
8) |
Hennie, F. C. One-tape, off-line Turing machine computations. Information and Control 8, 6(1965), 553–578. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E-Mail
This
Printer-Friendly
|
|
|
|
|
|
|