Summary
We discuss the application of (weighted) finite automata to image specification and image-data compression and applications of (weighted) finite transducers to image manipulation.
Research was supportet by the National Foundation under Grant No. CCR9202396.
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
Berstel, J., Morcrette, M. (1989): Compact representation of patterns by finite automata, Proceedings Pixim’89, Paris, 387–402
Berstel, J., Nait Abdallah, A. (1989): Quadtrees generated by finite automata, AFCET 61/62, 167–175
Culik II, K., Dube, S. (1990): Affine automata and related techniques for generation of complex images, Proceedings of MFCS 1990, Lecture Notes In Computer Science 452, 224–231, Springer-Verlag, Berlin
Culik II, K., Dube, S. (1993): Rational and Affine Expressions for Image Description, Discrete Applied Mathematics 41, 85–120
Culik II, K., Fris, I. (1995): Weighted Finite Transducers in Image Processing. Discrete Applied Mathematics 58, 223–237
Culik II, K., Karhumäki, J. (1994): Automata Computing Real Functions, SIAM J. on Computing 23, 789–814
Culik II, K., Kari, J. (1993): Image Compression Using Weighted Finite Automata, Computer and Graphics 17, 305–313
Culik II, K., Kari, J. (1995): Finite state transformations of images. Proceedings of ICALP 95, Lecture Notes in Computer Science, 944 51–62, Springer-Verlag, Berlin
Culik II, K., Kari, J. (1994): Image-Data Compression Using Edge-Optimizing Algorithm for WFA Inference, Journal of Information Processing and Management 30, 829–838
Culik II, K., Kari, J. (1994): Efficient Inference Algorithm for Weighted Finite Automata, in Fractal Image Compression, ed. Y. Fisher, Springer-Verlag, Berlin
Culik II, K., Rajcani, P. (1995): Iterative Weighted Finite Transductions, Acta Informatica 327, 681–703
DeVore, R.A., Jawerth, B., Lucier, B.J. (1992): Image Compression through Wavelet Transform Coding, IEEE Transactions of Information Theory 38, 719–746
Eilenberg, S. (1974): Automata, Languages and Machines, Vol. A, Academic Press, New York
Even, S. (1964): Rational numbers and regular events, IEEE Trans. Electron. Comput. 13, 740–741
Hartmanis, J., Stearns, R. E. (1967): Sets of numbers defined by finite automata, Amer. Math. Monthly 74, 539–542
Hoperoft, J. E., Ullman, J. D. (1979): Introduction to automata theory, languages and computation, Addison-Wesley, Reading
Kari, J., Fränti, P. (1994): Arithmetic coding of weighted finite automata, R.A.I.R.O. Theoretical Informatics 28, 343–360
Staiger, L. (1989): Quadtrees and the Hausdorff dimensions of pictures, Workshop on Geometrical Problems of Image Processing, Georgenthal, 173–178
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Culik, K., Kari, J. (1997). Digital Images and Formal Languages. In: Rozenberg, G., Salomaa, A. (eds) Handbook of Formal Languages. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59126-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-59126-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63859-6
Online ISBN: 978-3-642-59126-6
eBook Packages: Springer Book Archive