s_nan的博客

前言大多数编程语言在处理的静态和动态阶段之间表现出阶段差异。静态阶段包括解析和类型检查，以确保程序是格式良好的;动态阶段包括执行格式良好的程序。当格式良好的程序在执行时表现良好时，这种语言就是安全的。静态阶段由一组规则组成的静态图表来指定，这些规则用于派生类型判断，这些判断表明表达式是某种类型的格式良好的表达式。类型通过“预测”部分的执行行为的某些方面来调节程序的组成部分之间的交互，这...

1.前言自顶向下和自底向上语法分析器的构造可以使用和文法G相关的两个函数FIRST和FOLLOW来实现。在自顶向下语法分析过程中，FIRST和FOLLOW使得我们可以根据下一个输入符号来选择应用哪个产生式。在恐慌模式的错误恢复中，由FOLLOW产生的词法单元集合可以作为同步词法单元。2.FIRST和FOLLOW集计算各个文法符号X的FIRST(X)时，不断的应用下面的规则，知道...

本文翻译来源于： Language Constructs and Transformation for Hard Real-time Systems Tai M. Chung...