摘要：用直观的转换语法翻译图灵机到内涵进程演算
作者：Thomas Given-Wilson (INRIA, Saclay)
论文ID：1404.0545
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-29
PDF 下载： 英文版 中文版pdf翻译中