The Computational Power of Infinite Time Blum–Shub–Smale Machines

P. Koepke, A. S. Morozov

Результат исследования: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Аннотация

Functions that are computable on infinite time Blum–Shub–Smale machines (ITBM) are characterized via iterated Turing jumps, and we propose a normal form for these functions. It is also proved that the set of ITBM computable reals coincides with ℝ∩Lωω.

Язык оригиналаанглийский
Страницы (с-по)37-62
Число страниц26
ЖурналAlgebra and Logic
Том56
Номер выпуска1
DOI
СостояниеОпубликовано - 1 мар 2017

Fingerprint Подробные сведения о темах исследования «The Computational Power of Infinite Time Blum–Shub–Smale Machines». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать