俄语版交互网
计算机科学中的逻辑
2013-04-08 v2 形式语言与自动机理论
摘要
本文是Maribel Fernandez所著《计算模型：可计算性理论导论》中第7章“基于交互的计算模型”的俄语翻译草稿。“在本章中，我们研究交互网，这是一种计算模型，可视为基于‘计算即交互’概念的一类模型的代表。交互网是由Yves Lafont于1990年设计的一种图形化计算模型，作为线性逻辑证明结构的推广。它可以被视为一种抽象形式体系，用于定义算法并分析其代价，或作为一种低级语言，其他编程语言可编译到该语言。这是富有成效的，因为交互网可以以合理的效率实现。”
引用
@article{arxiv.1304.1309,
title = {Interaction Nets in Russian},
author = {Anton Salikhmetov},
journal= {arXiv preprint arXiv:1304.1309},
year = {2013}
}
备注
22 pages, in Russian