A thesis for interaction
A thesis for interaction
复制标题
DOI：
10.1016/j.tcs.2021.10.001
复制
发表时间：
2021-10
期刊：
影响因子：
--
通讯作者：
Yuxi Fu
中科院分区：
文献类型：
--
作者：
Yuxi Fu
提出了一个相互作用的论题，作为相互作用理论的基础。通过确定一个最小模型和一个最大模型，给出了所有交互模型的最小内容可计算性和最大通道可计算性。结果表明，递归函数模型，图灵机模型和λ-演算模型的交互扩展都属于论文的范围。一个主要的技术贡献是最大模型的解释器的设计，适合在论文中的模型。
A thesis for interaction is proposed as a foundation for theory of interaction. It formulates the minimal content computability and the maximal channel computability of all models of interaction by fixing a minimal model and a maximal model. It is shown that the interactive extensions of the recursive function model, the Turing machine model and theλ-calculus model all fall within the realm of the thesis. A major technical contribution is the design of interpreters in the maximal model for the models that fit in the thesis.