Abstract
Finite automata are used for the encoding and compression of images. For black-and-white images, for instance, using the quad-tree representation, the black points correspond to ω-words defining the corresponding paths in the tree that lead to them. If the ω-language consisting of the set of all these words is accepted by a deterministic finite automaton then the image is said to be encodable as a finite automaton. For grey-level images and colour images similar representations by automata are in use.
In this paper we address the question of which images can be encoded as finite automata with full infinite precision. In applications, of course, the image would be given and rendered at some finite resolution — this amounts to considering a set of finite prefixes of the ω-language — and the features in the image would be approximations of the features in the infinite precision rendering.
We focus on the case of black-and-white images — geometrical figures, to be precise — but treat this case in a d-dimensional setting, where d is any positive integer. We show that among all polygons in d-dimensional space those with rational corner points are encodable as finite automata. In the course of proving this we show that the set of images encodable as finite automata is closed under rational affine transformations.
Several simple properties of images encodable as finite automata are consequences of this result. Finally we show that many simple geometric figures such as circles and parabolas are not encodable as finite automata.
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
J. Berstel, M. Morcrette: Compact Representations of Patterns by Finite Automata. In: Proc. Pixim’ 89, Hermes, Paris, 1989, 387–402.
K. Čulik II, S. Dube: Rational and Affine Expressions for Image Description. Discrete Appl. Math. 41 (1993), 85–120.
K. Čulik II, J. Kari: Digital Images and Formal Languages. In [8], 599–616.
M. Eramian: Computing Entropy Maps of Bi-Level Images. These Proceedings.
H. Jürgensen, L. Staiger: Local Hausdorff Dimension. Acta Informatica 32 (1995), 491–507.
H. Jürgensen, L. Staiger, H. Yamasaki: Encoding Figures by Automata. Manuscript, 1999.
W. Merzenich, L. Staiger: Fractals, Dimension, and Formal Languages. RAIRO-Inform. Théor. 28 (1994), 361–386.
G. Rozenberg, A. Salomaa (eds.): Handbook of Formal Languages, Vol. 3, Springer-Verlag, Berlin, 1997.
L. Staiger, Finite-state ω-languages. J. Comput. System Sci. 27(1983) 3, 434–448.
L. Staiger: ω-Languages. In [8], 339–387.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jürgensen, H., Staiger, L. (2001). Finite Automata Encoding Geometric Figures. In: Boldt, O., Jürgensen, H. (eds) Automata Implementation. WIA 1999. Lecture Notes in Computer Science, vol 2214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45526-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-45526-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42812-1
Online ISBN: 978-3-540-45526-4
eBook Packages: Springer Book Archive