软件构造期末复习5.3

软件构造期末复习5.3

语法驱动的构造：

根据文本的具体类型进行字符串匹配，创建一种语法，根据语法对字符串进行解析，如果可以解析，则字符串合法；否则不合法

语法：

包含两种类型节点：

• 终止节点/叶节点：
  语法解析树的叶子节点，无法往下扩展，通常表示为字符串
• 非终止节点/产生式节点：
  可被扩展

操作符：

• 连接：x ::=y z
• 重复：x ::=y*
• 选择：x ::=y | z

‘a’ + ：任意多个a（至少出现一次）
‘b’ * ：0个或任意多个b
‘c’ ? ：要么没c要么有一个c