| 基于Z规格的LR(k)形式化分析及验证 |
| |
| 引用本文： | 张杨,段富.基于Z规格的LR(k)形式化分析及验证[J].计算机工程与设计,2013,34(7). |
| |
| 作者姓名： | 张杨 段富 |
| |
| 作者单位： | 太原理工大学计算机科学与技术学院,山西太原,030024 |
| |
| 基金项目： | 山西省自然科学基金项目，山西省科技攻关基金项目 |
| |
| 摘 要： | 在编译器的构造中,常由于语义的二义性等问题导致不正确的目标程序.为解决此问题,提出了一种新型的语法及语义正确性验证方案,即建立LR (k)文法和Z规格说明的联系,以此构造LR (k)文法的形式化描述及其形式化验证.实验结果表明,该方案能有效描述并检测LR (k)文法分析器中的语法错误及语义二义性,有助于提高分析器的有效性.
|
| 关 键 词： | LR(k)文法 形式化描述 形式化验证 Z规格 语法 语义 |
Formal analysis and verification of LR(k) based on Z |
| |
| ZHANG Yang
,
DUAN Fu.Formal analysis and verification of LR(k) based on Z[J].Computer Engineering and Design,2013,34(7). |
| |
| Authors: | ZHANG Yang DUAN Fu |
| |
| Abstract: | |
| |
| Keywords: | LR (k) formal specification formal verification Z specification syntax semantic |
| 本文献已被 万方数据 等数据库收录！ |
|
