論文

査読有り
2002年7月

Real number computation through Gray code embedding

THEORETICAL COMPUTER SCIENCE
  • H Tsuiki

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.

リンク情報
DOI
https://doi.org/10.1016/S0304-3975(01)00104-9
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000177690800015&DestApp=WOS_CPL
ID情報
  • DOI : 10.1016/S0304-3975(01)00104-9
  • ISSN : 0304-3975
  • Web of Science ID : WOS:000177690800015

エクスポート
BibTeX RIS