Advertisement

On computational power of weighted finite automata

  • D. Derencourt
  • J. Karhumäki
  • M. Latteux
  • A. Terlutte
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)

Abstract

Weighted Finite Automata are automata with multiplicities used to compute real functions by reading infinite words. We study what kind of functions can be computed by level automata, a particular subclass of WFA. Several results concerning the continuity and the smoothness of these functions are shown. In particular, the only smooth functions that can be obtained are the polynomials. This allows to decide whether a function computed by a level automaton is smooth or not.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BR]
    J. Berstel and Ch. Reutenaeur, Rational Series and Their Languages, Springer-Verlag, Berlin (1988).Google Scholar
  2. [DKLTa]
    D. Derencourt, J. Karhumäki, M. Latteux and A. Terlutte, On Computational Power of Weighted Finite Automata, Laboratoire d'Informatique Fondamentale de Lille, Publication Interne IT223 (1991).Google Scholar
  3. [DKLTb]
    D. Derencourt, J. Karhumäki, M. Latteux and A. Terlutte, On Continuous Fonctions Computed By Finite Automata, Manuscript (1992).Google Scholar
  4. [CKarh]
    K. Culik II and J. Karhumäki, Finite Automata Computing Real Functions, to appear.Google Scholar
  5. [CKari]
    K. Culik II and J. Kari, Image Compression Using Weighted Finite Automata, to appear.Google Scholar
  6. [SS]
    A. Salomaa and M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer-Verlag, Berlin (1978).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • D. Derencourt
    • 1
  • J. Karhumäki
    • 2
  • M. Latteux
    • 1
  • A. Terlutte
    • 1
  1. 1.Laboratoire d'Informatique Fondamentale de Lille, CNRS UA 369Université de Lille IVilleneuve d'Ascq CedexFrance
  2. 2.Dept. of MathematicsUniversity of TurkuTurkuFinland

Personalised recommendations