判断题中间表示设计的选择随编译器不同而不同。
判断题编程语言的一些构造的属性依赖于它们所在的上下文，此时使用继承属性是方便的。
判断题对于S属性定义，分析树各结点属性的计算可以自下而上地完成。
判断题不确定的有限自动机是指对于某个输入符号，它存在不止一种转换。
判断题闭包运算有最高的优先级并且是右结合的运算。
