Type-2 computability and Moore's recursive functions

Akitoshi Kawamura

研究成果: ジャーナルへの寄稿学術誌査読

3 被引用数 (Scopus)

抄録

Regarding effectivity of functions on the reals, there have been several proposed models of analog, continuous-time computation, as opposed to the digital, discrete nature of the type-2 computability. We study one of them, Moore's real (primitive) recursive functions, whose definition mimics the classical characterization of recursive functions on N by the closure properties. We show that the class of type-2 computable real functions falls between Moore's classes of primitive recursive and recursive functions.

本文言語英語
ページ(範囲)83-95
ページ数13
ジャーナルElectronic Notes in Theoretical Computer Science
120
SPEC. ISS.
DOI
出版ステータス出版済み - 2月 3 2005

!!!All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Type-2 computability and Moore's recursive functions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル