Skip to main content
SpringerLink
Log in
Book cover

International Conference on Foundations of Software Technology and Theoretical Computer Science

FSTTCS 1990: Foundations of Software Technology and Theoretical Computer Science pp 76–90Cite as

Automata-theoretic techniques for image generation and compression

  • Automata And Formal Languages
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 472))

Abstract

In this paper, the representation, generation and inference of images using automata theoretic techniques is investigated. It is shown that highly complex images, including “fractal” (self-similar) images, can be manipulated by the application of these techniques. Languages and relations over some alphabet are interpreted as images by treating strings as rational coordinates. In particular, the rational relations, specified by rational expressions, are considered. It is shown how texture of an image can be defined by probabilistic finite generators. Iterative generators are also considered.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. F. Barnsley, Fractals Everywhere, Academic Press, 1988.

    Google Scholar 

  2. J. Berstel and M. Morcrette, “Compact Representation of Patterns by Finite Automata,” Proceedings Pixim'89, Paris, pp. 387–402.

    Google Scholar 

  3. L. Boasson and M. Nivat, “Adherences of Languages,” Jour. of Computer. Syst. Sci., 20, 285–309 (1980).

    Google Scholar 

  4. R. Cohen and A. Gold, “Theory of ω-languages,” Part I and II, Jour. of Computer Syst. Sc., 15, 169–208 (1977).

    Google Scholar 

  5. K. Culik II and S. Dube, “Affine Automata: A Technique to Generate Complex Images,” accepted for presentation at the Fifteenth International Symposium on Mathematical Foundations of Computer Science, Czechoslovakia (1990).

    Google Scholar 

  6. K. Culik II and S. Dube, “A Comparison of Some Automata-Theoretic Techniques to Generate Images,” under preparation.

    Google Scholar 

  7. K. Culik II and S. Dube, “Image Synthesis Using Rational Relaitons”, Research Report TR90001, Dept. of Computer Science, University of South Carolina (1990).

    Google Scholar 

  8. K. Culik II and S. Yu, “Cellular Automata, ωω-Regular Sets, and Sofic Systems,” to appear in Discrete Applied Mathematics.

    Google Scholar 

  9. S. Even, “Rational Numbers and Regular Events,” IEEE Transactions on Electronic Computers, EC-13, No. 6, 740–741 (1964).

    Google Scholar 

  10. J.Gleick, Chaos-Making a New Science, Penguin Books, 1988.

    Google Scholar 

  11. J. Hartmanis and R. E. Stearns, “Sets of Numbers Defined By Finite Automata,” American Mathematical Monthly, 74 539–542 (1967).

    Google Scholar 

  12. G. M. Hunter and K. Steiglitz, Operations on Images Using Quadtrees, IEEE Trans. on Pattern Analysis and Machine Intell., 1 145–153 (1979).

    Google Scholar 

  13. B. Mandelbrot, The Fractal Geometry of Nature, W. H. Freeman and Co., San Francisco, 1982.

    Google Scholar 

  14. L. Staiger, “Quadtrees and the Hausdorff Dimension of Pictures,” Workshop on Geometrical Problems of Image Processing, Georgenthal GDR, 173–178 (1989).

    Google Scholar 

  15. W. G. Tzeng, “The Equivalence and Learning of Probabilistic Automata,” FOCS proceedings, 268–273 (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of South Carolina, 29208, Columbia, SC, USA

    Karel Culik II & Simant Dube

Authors
  1. Karel Culik II
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simant Dube
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori C. E. Veni Madhavan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Culik, K., Dube, S. (1990). Automata-theoretic techniques for image generation and compression. In: Nori, K.V., Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1990. Lecture Notes in Computer Science, vol 472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53487-3_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-53487-3_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53487-7

  • Online ISBN: 978-3-540-46313-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation