zoukankan      html  css  js  c++  java
  • 编译原理语法推导树

    语法推导树必须具有的特征:

    首先理解此处和文法有关,文法公式G={Vn,Vt,P,S}

    1.每个结点都有一个标记,此标记是V的一个符号。(这个标记必须是终结符或者非终结符中的一个)

    2.根的标记是S(开始符)

    3.若一结点n至少有一个它自己除外的子孙,并且有标记A,则A肯定在Vn中。(如果一个结点有子孩子,则这个结点肯定不是终结符)

    4.如果结点n的直接子孙,从左到右的次序是结点n1,n2,。。。nk,其标记分别是A1,A2,。。。Ak。那么A->A1,A2.。。Ak。一定是P中的一个产生式。(父亲结点推出子结点值得序列必须包含在P中)


    短语、简单短语、句柄、素短语、最左推导、句子概念:

    令G是一文法,S是文法的开始符号,abc是文法G的一个句型。

    短语:如果S经过若干步骤推导出aAc且A经过1或者多步推出b,则称b是句型abc相对于非终结符A的短语;

    如果有了一棵语法推导树,则这棵推导树上任意一棵子树的叶子结点的序列就是一个短语


    简单短语:如果A直接推出b,则b是句型abc相对于规则A→b的直接短语(简单短语);


    句柄:一个句型的最左直接短语称为该项句型的句柄;


    素短语:是个短语,并且至少含有一个终结符,并且,除它自身之外不再含任何更小的素短语。


    最左推导:对句型右部的最左非终结符进行推导。


    句子:仅含终结符的句型。

  • 相关阅读:
    2. Get the codes from GIT
    1. Install Git and GitExtension
    [Git]Git的常用命令
    测试用例Excel模板For Quality Center
    测试用例excel模板
    如何在win 2008 server和win 7上add web site
    Jmeter运行过程中如何让Fiddler同时可以抓获到服务器的应答报文
    Windows系统文件mshtml.dll
    Jmeter中的XPath Assertion
    AIM Tech Round (Div. 2) B
  • 原文地址:https://www.cnblogs.com/shihao/p/2199360.html
Copyright © 2011-2022 走看看