2002年7月
Real number computation through Gray code embedding
THEORETICAL COMPUTER SCIENCE
- 巻
- 284
- 号
- 2
- 開始ページ
- 467
- 終了ページ
- 485
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1016/S0304-3975(01)00104-9
- 出版者・発行元
- ELSEVIER SCIENCE BV
We propose an embedding G of the unit open interval to the set {0, 1}(perpendicular to)(omega),(1) of infinite sequences of 10, 11 with at most one undefined element. This embedding is based on Gray code and it is a topological embedding with a natural topology on {0, 1}(perpendicular to)(omega),(1). We also define a machine called an indeterministic multihead Type 2 machine which input/output sequences in {0,1}(perpendicular toomega),(1). and show that the computability notion induced on real functions through the embedding G is equivalent to the one induced by the signed digit representation and Type 2 machines. We also show that basic algorithms can be expressed naturally with respect to this embedding. (C) 2002 Elsevier Science B.V. All rights reserved.
- リンク情報
- ID情報
-
- DOI : 10.1016/S0304-3975(01)00104-9
- ISSN : 0304-3975
- Web of Science ID : WOS:000177690800015