Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Digital Images and Formal Languages

  • Chapter
Handbook of Formal Languages

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berstel, J., Morcrette, M. (1989): Compact representation of patterns by finite automata, Proceedings Pixim’89, Paris, 387–402

    Google Scholar 

  2. Berstel, J., Nait Abdallah, A. (1989): Quadtrees generated by finite automata, AFCET 61/62, 167–175

    Google Scholar 

  3. 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

    Google Scholar 

  4. Culik II, K., Dube, S. (1993): Rational and Affine Expressions for Image Description, Discrete Applied Mathematics 41, 85–120

    Article  MathSciNet  MATH  Google Scholar 

  5. Culik II, K., Fris, I. (1995): Weighted Finite Transducers in Image Processing. Discrete Applied Mathematics 58, 223–237

    Article  MathSciNet  MATH  Google Scholar 

  6. Culik II, K., Karhumäki, J. (1994): Automata Computing Real Functions, SIAM J. on Computing 23, 789–814

    Article  MATH  Google Scholar 

  7. Culik II, K., Kari, J. (1993): Image Compression Using Weighted Finite Automata, Computer and Graphics 17, 305–313

    Article  Google Scholar 

  8. 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

    Google Scholar 

  9. 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

    Article  Google Scholar 

  10. Culik II, K., Kari, J. (1994): Efficient Inference Algorithm for Weighted Finite Automata, in Fractal Image Compression, ed. Y. Fisher, Springer-Verlag, Berlin

    Google Scholar 

  11. Culik II, K., Rajcani, P. (1995): Iterative Weighted Finite Transductions, Acta Informatica 327, 681–703

    Article  MathSciNet  Google Scholar 

  12. DeVore, R.A., Jawerth, B., Lucier, B.J. (1992): Image Compression through Wavelet Transform Coding, IEEE Transactions of Information Theory 38, 719–746

    Article  MathSciNet  MATH  Google Scholar 

  13. Eilenberg, S. (1974): Automata, Languages and Machines, Vol. A, Academic Press, New York

    MATH  Google Scholar 

  14. Even, S. (1964): Rational numbers and regular events, IEEE Trans. Electron. Comput. 13, 740–741

    Article  MATH  Google Scholar 

  15. Hartmanis, J., Stearns, R. E. (1967): Sets of numbers defined by finite automata, Amer. Math. Monthly 74, 539–542

    Article  MathSciNet  MATH  Google Scholar 

  16. Hoperoft, J. E., Ullman, J. D. (1979): Introduction to automata theory, languages and computation, Addison-Wesley, Reading

    Google Scholar 

  17. Kari, J., Fränti, P. (1994): Arithmetic coding of weighted finite automata, R.A.I.R.O. Theoretical Informatics 28, 343–360

    MATH  Google Scholar 

  18. Staiger, L. (1989): Quadtrees and the Hausdorff dimensions of pictures, Workshop on Geometrical Problems of Image Processing, Georgenthal, 173–178

    Google Scholar 

Download references

Authors
  1. Karel Culik II
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jarkko Kari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Leiden University, P.O. Box 9512, NL-2300 RA, Leiden, The Netherlands

    Grzegorz Rozenberg

  2. Turku Centre for Computer Science Data City, FIN-20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation