语言的定义——编译原理

语言的定义——编译原理

给定文法G=(VT,VN,P,S),如果α→β∈P,那么可以将符号串中的γαδ中的α替换为β,记作 γαδ⇒γβδ,此时称γαδ直接推导出γβδ.

推导(derivation)和规约(reduction)

语言的定义——编译原理

有上述例子可知,推导是一个自顶向下的过程,而规约是自定向上的过程,换句话说:推导是由抽象到具体,而规约是由具体到抽象

句型和句子

语言的定义——编译原理

语言的定义——编译原理

语言的形式化定义

由文法G的开始符号S所推导出来的所有句子的集合称为文法G的生成的语言,记做

称为文法G的生成的语言,记做

语言的定义——编译原理