语言的定义——编译原理

语言的定义——编译原理 给定文法G=(VT,VN,P,S),如果α→β∈P,那么可以将符号串中的γαδ中的α替换为β,记作 γαδ⇒γβδ,此时称γαδ直接推导出γβδ. 推导(derivation)和规约(reduction) 有上述例子可知,推导是一个自顶向下的过程,而规约是自定向上的过程,换句话说:推导是由抽象到具体,而规约是由具体到抽象 句型和句子 语言的形式化定义 由文法G的开始符号S所

>>阅读原文<<