| 一种形式语言代数模型 |
| |
| 引用本文： | 苗德成,奚建清,贾连印,刘勇.一种形式语言代数模型[J].华南理工大学学报(自然科学版),2011(10):74-78. |
| |
| 作者姓名： | 苗德成 奚建清 贾连印 刘勇 |
| |
| 作者单位： | 华南理工大学计算机科学与工程学院; |
| |
| 基金项目： | 广东省科技计划项目(2009B050700008); 华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0162); 韶关学院科研项目(201020704) |
| |
| 摘 要： | 针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论...
|
| 关 键 词： | 形式语言 语言模型 重用 形式语义 分层设计 |
A Formal-Language Algebraic Model |
| |
| Miao De-cheng Xi Jian-qing Jia Lian-yin Liu Yong.A Formal-Language Algebraic Model[J].Journal of South China University of Technology(Natural Science Edition),2011(10):74-78. |
| |
| Authors: | Miao De-cheng Xi Jian-qing Jia Lian-yin Liu Yong |
| |
| Institution: | Miao De-cheng Xi Jian-qing Jia Lian-yin Liu Yong(School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China) |
| |
| Abstract: | |
| |
| Keywords: | formal languages language model reuse formal semantics hierarchical design |
| 本文献已被 CNKI 等数据库收录！ |
|
