文档详情

运算符优先文法.pdf

发布:2017-06-17约16.17万字共23页下载文档
文本预览下载声明
。 。 定的 其它 问题如两个语 言相等, 两个语 言不相交等等也是不可判定 的 然而人们 能够寻找语言 类使 这些 问题成为可判定 的。 形 语言理 的 多 可判 定理 的子 得 式 论 中 许 不 定 都是直接或间接依赖于 〔 〕 的一个唯一定理 。 。 业 已证 明, 决定任何上下文无关文法是否是无二义 的问题 是不可判定 的 人们 可能会 间是否 对任何上下文无关语 言都存在一个无二义文法 呢 回答是否定 的。 有些语言确不存在无二义 的文 。 法 , 这首先 由 说 明 这样 的语言称之为先天二 义 的。 这类语 言的一个例子是 了 , 》 , 了 艺 》 有许多文献与分析语 言句子 问题有关 。 本文主要解决这一 问题。 第二章 运算符优先文法 运 符优先 , 人们 然会 想到在 算术表 式 的计 中, 运 符 和 优先于运 提起 算 白 达 算 算 乘 除 算符加 十 和减 一 。 例如
显示全部
相似文档