On Continuous Weighted Finite Automata

We investigate the continuity of the \omega-functions and real functions defined by weighted finite automata (WFA). We concentrate on the case of average preserving WFA. We show that every continuous \omega-function definable by some WFA can be defined by an average preserving WFA and then characterize minimal average preserving WFA whose \omega-function or \omega-function and real function are continuous. We obtain several algorithmic reductions for WFA-related decision problems. In particular, we show that deciding whether the \omega-function and real function of an average preserving WFA are both continuous is computationally equivalent to deciding stability of a set of matrices. We also present a method for constructing WFA that compute continuous real functions.

[1]  Grzegorz Rozenberg,et al.  Word, language, grammar , 1997 .

[2]  Jarkko Kari,et al.  Image compression using weighted finite automata , 1993, Comput. Graph..

[3]  Victor Mitrana,et al.  Recent Advances in Formal Languages and Applications , 2006, Studies in Computational Intelligence.

[4]  Vincent D. Blondel,et al.  Open Problems in Mathematical Systems and Control Theory , 2011 .

[5]  J. Tsitsiklis,et al.  The boundedness of all products of a pair of matrices is undecidable , 2000 .

[6]  Karel Culik,et al.  Finite Automata Computing Real Functions , 1994, SIAM J. Comput..

[7]  Michel Latteux,et al.  On Computational Power of Weighted Finite Automata , 1992, MFCS.

[8]  L. Gurvits.  Stability of discrete linear inclusion , 1995 .

[9]  Fernando Pereira,et al.  Weighted finite-state transducers in speech recognition , 2002, Comput. Speech Lang..

[10]  Jarkko Kari,et al.  Finite state transformation of images , 1996, Comput. Graph..

[11]  Mehryar Mohri,et al.  Finite-State Transducers in Language and Speech Processing , 1997, CL.

[12]  Jarkko Kari,et al.  Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata , 2006, Fundam. Informaticae.

[13]  Magdi S. Mahmoud,et al.  Discrete systems - analysis, control and optimization , 1984, Communications and control engineering series.

[14]  John N. Tsitsiklis,et al.  Problem 10.2 When is a pair of matrices stable , 2009 .

[15]  I. Daubechies,et al.  Corrigendum/addendum to: Sets of matrices all infinite products of which converge , 2001 .

[16]  Jarkko Kari.  Image Processing Using Finite Automata , 2006, Recent Advances in Formal Languages and Applications.

[17]  M. Droste,et al.  Handbook of Weighted Automata , 2009 .

[18]  Yang Wang,et al.  Bounded semigroups of matrices , 1992 .

[19]  I. Daubechies,et al.  Sets of Matrices All Infinite Products of Which Converge , 1992 .

[20]  Michael Unger,et al.  Weighted finite automata for video compression , 1998, IEEE J. Sel. Areas Commun..