FINITE AUTOMATA COMPUTING REAL FUNCTIONS

Authors
CULIK K KARHUMAKI J
Citation
K. Culik et J. Karhumaki, FINITE AUTOMATA COMPUTING REAL FUNCTIONS, SIAM journal on computing, 23(4), 1994, pp. 789-814
Citations number
14
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods",Mathematics
Journal title
SIAM journal on computing → ACNP
ISSN journal
00975397
Volume
23
Issue
4
Year of publication
1994
Pages
789 - 814
Database
ISI
SICI code
0097-5397(1994)23:4<789:FACRF>2.0.ZU;2-V
Abstract
A new application of finite automata as computers of real functions is introduced. It is shown that even automata with a restricted structur e compute all polynomials, many fractal-like and other functions. Amon g the results shown, the authors give necessary and sufficient conditi ons for continuity, show that continuity and equivalence are decidable properties, and show how to compute integrals of functions in the aut omata representation.