Issue No. 06 - June (1994 vol. 43)

ISSN: 0018-9340

pp: 752-755

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.286308

ABSTRACT

<p>After a short introduction to on-line computing, we prove that the functions computable in on-line by a finite automaton are piecewise affine functions whose coefficients are rational numbers (i.e., the functions f(x)=ax+b, or f(x,y)=ax+by+c where a, b, and c are rational). A consequence of this study is that multiplication, division and elementary functions of operands of arbitrarily long length cannot be performed using bounded-size operators.</p>

INDEX TERMS

digital arithmetic; finite automata; computability; online computing; finite automaton; piecewise affine functions; rational numbers; multiplication; division; elementary functions; operands; arbitrarily long length.

CITATION

J.-M. Muller, "Some Characterizations of Functions Computable in On-Line Arithmetic",

*IEEE Transactions on Computers*, vol. 43, no. , pp. 752-755, June 1994, doi:10.1109/12.286308