ON COMPUTATIONAL POWER OF WEIGHTED FINITE AUTOMATA

Article type: Research Article

Authors: Derencourt, D. | Karhumäki, J. | Latteux, M. | Terlutte, A.

Affiliations: Laboratoire d'Informatique Fondamentale de Lille, CNRS UA 369, Université de Lille I, 59655 Villeneuve d'Ascq Cedex, France | Dept. of Mathematics, University of Turku, SF-20500 Turku, Finland

Abstract: Weighted Finite Automata are automata with multiplicities used to compute real functions by reading infinite words. The aim of this paper is to 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 enables to decide whether a function computed by a level automaton is smooth or not.

DOI: 10.3233/FI-1996-253406

Journal: Fundamenta Informaticae, vol. 25, no. 3-4, pp. 285-293, 1996