Type-2机器中的无限Oracle扩展（扩展摘要）
Infinite Oracle Queries in Type-2 Machines (Extended Abstract)
摘要：
我们定义的Oracle-Type-2-Machine能够编写无限的Oracle查询。与有限的Oracle查询相反，这将Oracle可计算函数的领域扩展到不连续领域。我们的定义是保守的;访问一个可计算的预言机不会增加计算能力。其他的超计算模型如Ziegler修正计算和Type-2-Nondeterminism都是Oracle-Type-2-Machines的特例。我们的方法提供了一个直观的定义，最弱的机器模型能够模拟2型机和BSS机。
英文摘要：
We define Oracle-Type-2-Machine capable of writing infinite oracle queries. In contrast to finite oracle queries, this extends the realm of oracle-computable functions into the discontinuous realm. Our definition is conservative; access to a computable oracle does not increase the computational power. Other models of real hypercomputation such as Ziegler's (finitely) revising computation or Type-2-Nondeterminism are shown to be special cases of Oracle-Type-2-Machines. Our approach offers an intuitive definition of the weakest machine model capable to simulate both Type-2-Machines and BSS machines.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
