Decision problems and round-off machines
Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Related Research Unit(s)
|Journal / Publication||Theory of Computing Systems|
|Publication status||Published - Sept 2001|
|Link to Scopus||https://www.scopus.com/record/display.uri?eid=2-s2.0-0035605452&origin=recordpage|
We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?