基础知识
DinoSantiago
这个作者很懒,什么都没留下…
展开
-
Lambda Calculus (翻译)
原文出处:http://en.wikipedia.org/wiki/Lambda_calculus Lambda演算 From Wikipedia, the free encyclopedia. The lambda calculus is a formal system designed to investigate function definition, function appl翻译 2004-07-02 10:27:00 · 3770 阅读 · 2 评论 -
构造一个语言识别器(翻译)
构造一个语言识别器 ANTLR: ANother Tool for Language Recognition (http://www.antlr.org) 原文出处:http://www.jguru.com/faq/view.jsp?EID=78 中英文单词对照: grammar: 文法 syntax: 语法 action: 动作 lexer: 记号识别器 parser: 分析器 to翻译 2004-06-24 20:18:00 · 2102 阅读 · 0 评论 -
SICP-1.1-Excercise1.5: 正则序求值与应用序求值
为了验证我们所使用的Scheme解释器到底是使用应用序还是正则序求值,可以定义下面两个过程:(define (p) (p))(define (test x y) (if (= x 0) 0 y))而后求值下列表达式:(test 0 (p))如果解释器采用的是应用序求值,我们会看到什么?如果解释器采用的是正则序求值,我们又会看到什么?(假定不论采用应用序还是正则原创 2006-03-24 11:34:00 · 1839 阅读 · 0 评论