DocumentCode :
1090142
Title :
Some characterizations of functions computable in on-line arithmetic
Author :
Muller, Jean-Michel
Author_Institution :
CNRS, Lyon, France
Volume :
43
Issue :
6
fYear :
1994
fDate :
6/1/1994 12:00:00 AM
Firstpage :
752
Lastpage :
755
Abstract :
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
Keywords :
computability; digital arithmetic; finite automata; arbitrarily long length; division; elementary functions; finite automaton; multiplication; online computing; operands; piecewise affine functions; rational numbers; Algorithm design and analysis; Automata; Character generation; Computer architecture; Delay; Digital arithmetic; Fixed-point arithmetic; Partial response channels; Performance evaluation; Pipeline processing;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/12.286308
Filename :
286308
Link To Document :
بازگشت