Decision problems and round-off machines

Authors
Cucker, F Dedieu, JP
Citation
F. Cucker et Jp. Dedieu, Decision problems and round-off machines, THEOR C SYS, 34(5), 2001, pp. 433-452
Citations number
15
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORY OF COMPUTING SYSTEMS
ISSN journal
14324350 → ACNP
Volume
34
Issue
5
Year of publication
2001
Pages
433 - 452
Database
ISI
SICI code
1432-4350(200109/10)34:5<433:DPARM>2.0.ZU;2-U
Abstract
We study the behavior of decision machines working with finite precision. W e give answers to the following questions: (A) under which conditions is th e answer provided by the machine correct? and (B) under which conditions do es 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?