2017年6月
-
ECMAScript 2016 Language Specification (5)
语义 ##5.1 句法和语法 5.1.1 上下文无关语法 一个上下文无关的语法包含一系列产生式productions。每个产生式都有一个叫做非终端符的抽象符号作为左位,然后一系列零个或者多个非终端符或者终端符作为右位。对于每个语法来说,每个终端符都来源于一张特殊的符号表。 一个链式生产式的右位有切仅有一个非终端符加上另个或多个终端符。(2016单独加的) 当从一个叫做 目标符goal symbol 的特殊非终端符组成的句子起始,那么给出的上下文无关文法就表示 语言 language,即,将产生式右边序列的非终结符当作左边,进行反复替换的结果就成为可能的终结符序列集合可能无限。 5.......