1. 文法 G(S):

(1)S -> AB

(2)A ->Da|ε

(3)B -> cC

(4)C -> aADC |ε

(5)D -> b|ε

验证文法 G(S)是不是 LL(1)文法?

答:

证明:FIRST(Da) = {b, a}

   FIRST(ε) = {ε}

   FIRST(aADC) = {a}

   FIRST(b) = {b}

   FOLLOW(A) = {c, b, a, #}

   FOLLOW(C) = {#,}

   FOLLOW(D) = {a, #}

   SELECT(A -> Da) = FIRST(Da) = {b, a}

   SELECT(A -> ε) = FIRST(ε) - {ε}UFOLLOW(A) = FOLLOW(A) = {c, b, a, #}

   因为SELECT(A -> Da) ∩ SELECT(A -> ε) ≠ Ø

   所以G(S)不是 LL(1)文法。

2.法消除左递归之后的表达式文法是否是LL(1)文法?

答:文法为:(1)E -> TE'

      (2)E' -> +TE' | ε

      (3)T -> FT'

      (4)T' -> *FT' | ε

      (5)F -> (E) | i

  FIRST(+TE') = {+}

  FIRST(ε) = {ε}

  FIRST(*FT') = {*}

  FIRST((E)) = { ( }

  FIRST(i) = {i}

  FOLLOW(E') = { ), # }

  FOLLOW(T') = {+, ), #}

  FOLLOW(F) = {*, +, ), #}

  SELECT(E' -> +TE') = FIRST(+TE') = {+}

  SELECT(E' -> ε) = FIRST(ε) - {ε}UFOLLOW(E') = FOLLOW(E') = { ), # }

  SELECT(T' -> *FT') = FIRST(*FT') = {*}

  SELECT(T' -> ε) = FIRST(ε) - {ε}UFOLLOW(T') = FOLLOW(T') = { +, ), # }

  SELECT(F -> (E)) = FIRST((E)) = { ( }

  SELECT(F->i)=FIRST(i)={i}

  因为SELECT(E' -> +TE') ∩ SELECT(E' -> ε) = Ø

    SELECT(T' -> *FT') ∩ SELECT(T' -> ε) = Ø

    SELECT(F -> (E)) ∩ SELECT(F -> i) = Ø

  所以此表达式文法是LL(1)文法。

3.接2,如果是LL(1)文法,写出它的递归下降语法分析程序代码。

E()

{T();

E'();

}

E'()

T()

T'()

F()

答:SELECT集:

  SELECT(E->TE')=FIRST(TE')={ (, i }

  SELECT(E'->+TE')=FIRST(+TE')={+}

  SELECT(E'->ε)=FIRST(ε)-{ε}UFOLLOW(E')=FOLLOW(E')={ ),# }

  SELECT(T->FT')=FIRST(FT')={ (,i }

  SELECT(T'->*FT')=FIRST(*FT')={*}

  SELECT(T'->ε)=FIRST(ε)-{ε}UFOLLOW(T')=FOLLOW(T')={ +,),# }

  SELECT(F->(E))=FIRST((E))={ ( }

  SELECT(F->i)=FIRST(i)={i}

  递归下降语法分析程序:

  void ParseE(){

    switch(lookahead){

      case '(','i':

        ParseT();

        ParseE'();

        break;

      default:

        print("syntax error \n");

        exit(0);

    }

  }

  void ParseE'(){

    switch(lookahead){

      case '+':

        MatchToken('+');

        ParseT();

        ParseE'();

        break;

      case ')','#':

        break;

      default:

        print("syntax error \n");

        exit(0);

    }

  }

  void ParseT(){ 

    switch(lookahead){

      case '(','i':

        ParseF();

        ParseT'();

        break;

      default:

        print("syntax error \n");

        exit(0);

    }

  }

  void ParseT'(){

    switch(lookahead){

      case '*':

        MatchToken('*');

        ParseF();

        ParseT'();

        break;

      case '+',')','#':

        break;

      default:

        print("syntax error \n");

        exit(0);

    }

  }

  void ParseF(){

    switch(lookahead){

      case '(':

        MatchToken('(');

        ParseE();

        MatchToken(')');

        break;

      case 'i':

        MatchToken('i');

        break;

      default:

        print("syntax error \n");

        exit(0);

    }

  }

4.加上实验一的词法分析程序,形成可运行的语法分析程序,分析任意输入的符号串是不是合法的表达式。

作业十一——LL(1)文法的判断的更多相关文章

  1. 作业十一——LL(1)文法的判断,递归下降分析程序

    作业十一——LL(1)文法的判断,递归下降分析程序 判断是否为LL(1)文法 选取有多个产生式的求select,只有一条产生式的无需求select 同一个非终结符之间求交集,全部判断为空后则为LL(1 ...

  2. 第十一次作业 LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不 ...

  3. 十一次作业——LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不 ...

  4. 第十一次 LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不 ...

  5. LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da | ε (3)B -> cC (4)C -> aADC | ε (5)D -> b | ε 验证文法 G ...

  6. 编译原理之LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不 ...

  7. 编译原理:LL(1)文法的判断,递归下降分析程序

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不 ...

  8. 【大数据作业十一】分布式并行计算MapReduce

    作业要求:https://edu.cnblogs.com/campus/gzcc/GZCC-16SE2/homework/3319 1.用自己的话阐明Hadoop平台上HDFS和MapReduce的功 ...

  9. 【大数据应用技术】作业十一|分布式并行计算MapReduce

    本次作业在要求来自:https://edu.cnblogs.com/campus/gzcc/GZCC-16SE2/homework/3319  1.用自己的话阐明Hadoop平台上HDFS和MapRe ...

随机推荐

  1. 物联网防火墙himqtt源码之MQTT协议分析

    物联网防火墙himqtt源码之MQTT协议分析 himqtt是首款完整源码的高性能MQTT物联网防火墙 - MQTT Application FireWall,C语言编写,采用epoll模式支持数十万 ...

  2. 记录git 软件库

    https://github.com/phpredis/phpredis   redis扩展 https://github.com/tecnickcom/tcpdf 生成PDF 后续......

  3. redis key 空闲(一)

    语法: redis 127.0.0.1:6379> COMMAND KEY_NAME 实例: redis 127.0.0.1:6379[1]> select 2 OK redis 127. ...

  4. NET Core 3.0中的WPF

    在.NET Core 3.0中的WPF中使用IOC图文教程   我们都知道.NET Core 3.0已经发布了第六个预览版,我们也知道.NET Core 3.0现在已经支持创建WPF项目了,刚好今天在 ...

  5. GitLab基本使用

    一.引言 在微服务架构中,由于我们对系统的划分粒度足够小,服务会很多,而且也存在经常迭代的情况.如果还按照以前的部署方式显得非常吃力和复杂,并且很容易出现错误.而随着容器技术的发展,这个时候持续集成( ...

  6. 《ucore lab1 exercise3》实验报告

    资源 ucore在线实验指导书 我的ucore实验代码 题目:分析bootloader进入保护模式的过程 BIOS将通过读取硬盘主引导扇区到内存,并转跳到对应内存中的位置执行bootloader.请分 ...

  7. [转帖]CentOS 8 正式发布

    CentOS 8 正式发布   终于发布了.. https://news.cnblogs.com/n/640416/ 前几天刚弄完centos7.7 的环境. CentOS 8 官方正式发布了!!!C ...

  8. JSON文件转为Excel

    前言 今天在帮老师做年终党统的时候,发现管理平台上没有将正在发展的同志的信息导出功能,只能一个一个点击进去查看,操作起来步骤很多很麻烦,所以我就想到了"扒"一下这个网页,扒下来发现 ...

  9. 安全篇-AES/RSA加密机制

    在服务器与终端设备进行HTTP通讯时,常常会被网络抓包.反编译(Android APK反编译工具)等技术得到HTTP通讯接口地址和参数.为了确保信息的安全,我们采用AES+RSA组合的方式进行接口参数 ...

  10. Go语言学习笔记(6)——指针

    指  针 指针: 存储另一个变量的内存地址的变量: Go语言的取地址符号也是& 1. 声明指针: var needle_name *type var b int = 10 var a *int ...