zoukankan      html  css  js  c++  java
  • 二义性文法

    二义文法的定义

    给定文法G,如果存在句子s,它有两棵不同的分析树,那么称G是二义性文法

    带来的问题

    从编译器角度,二义性文法存在问题:同一个程序会有不同的含义,因此程序运行的结果不是唯一的

    一个句子有多于一棵分析树,仅与文法和句子有关,与采用的推导方式无关。

    二义性文法举例

    造成文法二义性的根本原因:

    文法中缺少对文法符号优先级和结合性的规定。

    改写二义文法的关键步骤

    • 引入一个新的非终结符,增加一个子结构并提高一级优先级
    • 递归非终结符在终结符左边,使该终结符具有左结合性,否则有右结合性,
    • 例如

    特点

    1.新引入的非终结符,限制了每一步直接推导均有唯选择
    2.最终分析树的形状,仅与文法有关,而与推导方法无关
    3.非终结符的引入,增加了推导步骤(分析树增高)
    4.越接近S的文法符号优先级越低
    5.对于A->aAβ,其右部中,若A在终结符a左边出现(即β中包含a),则终结符a具有左结合性质

    悬空else问题

    • 消除二义性,引入新的非终结符matched_stmt, unmatched_stmt
  • 相关阅读:
    es6.8集群部署(ssl认证)+nfs备份(生产)
    spool
    dataguard unname
    zabbix监控mysql主从同步可用性
    企业微信发送消息
    安装ruby
    binlog2sql
    xtrabackup备份异地恢复+binlog日志应用
    5.7.29重新部署主从
    centos7 图形界面启动
  • 原文地址:https://www.cnblogs.com/coder-tcm/p/13038815.html
Copyright © 2011-2022 走看看