Ultrafilter and Non-standard Turing Machines
Ultrafilter and Non-standard Turing Machines
复制标题
超滤器和非标准图灵机
DOI：
10.1007/978-3-540-85194-3_18
复制
发表时间：
2008
影响因子：
6.4
通讯作者：
E. Rosinger
中科院分区：
文献类型：
--
作者：
P. Potgieter;E. Rosinger
我们像往常一样使用普通图灵机作为参考案例，考虑几种非有限计算。这篇短文试图解决的主要问题是定义运行了可数无限步的机器的输出或最终消息的问题。提出了一种使用非标准数字的适度方案。
We consider several kinds of non-finitary computation, using ordinary Turing machines, as usual, as the reference case. The main problem which this short paper tries to address, is the problem of defining the output, or final message, of a machine which has run for a countably infinite number of steps. A modest scheme, using non-standard numbers, is proposed.