zoukankan      html  css  js  c++  java
  • 第十五次-语法制导的语义翻译

    1.语法文法G[E]如下所示: 

    –E→E+T | E-T | T 

    –T→T* F | T/F | F 

    –F→P^ F | P 

    –P→(E) | i 

    要求构造出符合语义分析要求的属性文法描述

    2.(选做)实验三:语法制导的语义翻译程序

    要求:

    • 用算符优先分析法实现如上表达式文法的语法制导翻译过程。
    • 在完成实验二(算符优先语法分析)的基础上,进行语义分析程序设计。
    • 最终输出与测试用例等价的四元式中间代码序列。

    输入:a+b*c,则输出

    (*,b,c,T1)

    (+,a,T1,T2)

    输入:b*(c+b)*d,则输出

    (*,b,c,T1)

    (*,b,d,T2)

    (+,T1,T2,T3)

    1. 解:

    E -> E+T     { E.place := newtemp; emit( E.place , ' := ' , E.place , ' + ' , T.place )}

    E -> E-T      { E.place := newtemp; emit( E.place , ' := ' , E.place , ' - ' , T.place )}

    E -> T          { E.place := newtemp; emit( E.place , ' := ' , T.place )}

    T -> T*F      { T.place := newtemp; emit( T.place , ' := ' , T.place , ' * ' , F.place )}

    T -> T/F      { T.place := newtemp; emit( T.place , ' := ' , T.place , ' / ' , F.place )}

    T -> F         { T.place := newtemp; emit( T.place , ' := ' , F.place )}

    F -> P^F      { F.place := newtemp; emit( F.place , ' := ' , P.place , ' ^ ' , F.place )}

    F -> P         { P.place := newtemp; emit( F.place , ' := ' , P.place )}

    P -> (E)       { P.place :=  E.place;}

    P -> i           { if  i <> nil   then  emit( P.place , ':=' , i.place )   else error}

  • 相关阅读:
    win10安装vue
    通过docker安装rabbitmq
    python定时访问主机进程信息并反馈到远程服务器
    win10配置Apache+部署静态html页面
    HTTP协议—HTTP报文格式详解
    python脚本编写(纯干货)
    linux/CentOS的安装(萌新版)
    gradle中调用ant.unzip对zip包解压缩
    通过gradle运行测试脚本
    使用rest-assured测试rest service, 遇到“415 Unsupported Media Type”
  • 原文地址:https://www.cnblogs.com/kushoulder/p/12109311.html
Copyright © 2011-2022 走看看