本项目是阅读《计算的本质:深入剖析程序和计算机》(Understanding Computation: From Simple Machines to Impossible Programs) 一书时,所写的相关练习代码和对书本中示例的实现。
《计算的本质:深入剖析程序和计算机》是一本讲解可计算性和计算机的计算模型的书籍。示例皆使用 Ruby 语言。内容较为轻松,不似一些大部头充满玄奥的数学公式等。
- Simple language 本书的 2.3.1 节 讲到小步语义时所列出的一种简单的语言实现(直接跑写好的AST)。