会议论文《Pi演算对图灵机的表达》探讨了Pi演算在描述计算过程中的能力，分析其是否能够有效地表达图灵机的计算模型。作者通过形式化方法，比较了两种计算模型的表达力与计算能力，揭示了Pi演算在并发计算中的优势。该研究为理论计算机科学提供了重要的参考，有助于理解不同计算模型之间的关系与转换。
文档为pdf格式，0.22MB，总共3页。
举报
