此文档借助简单的 Ruby 代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过 lambda 演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。
2020-11-19
1 下载量
微信捐赠
微信扫一扫体验
