05 2014 档案
摘要:关于上下文无关文法,有几篇不得不读的文章:http://www.zhihu.com/question/21833944/answer/19467423,知乎的抛砖引玉。http://en.wikipedia.org/wiki/Context-free_grammar,来自维基百科,有中文版的。htt...
阅读全文
摘要:推导(derivation):从开始符号出发,每个重写步骤把一个非终结符号替换为它的某个产生式体。最左推导(leftmost derivation):总是选择每个句型的最左非终结符号。最右推导(rightmost derivation):总是选择每个句型的最右非终结符号。看下面的产生式E ::= E...
阅读全文
摘要:基本语法assert_stmt ::= "assert" expression ["," expression]1 assert 5 > 3 # 肯定是对的2 assert 0 > 3 # 肯定是错的下面看看扩展的,带上附加...
阅读全文