形式语言的代数模型研究

• 作者: 汪海涛 胡景荣 陈星
• 来源期刊: 昆明理工大学学报(理工版)
• 学科: 工学
• 关键词: 形式语言 代数模型 软件工程
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 计算机、通信与自动化
• 页码范围: 17-20,24
• 页数: 5页
• 分类号: TP309
• 字数: 4551字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-855X.2007.06.004

摘要

用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念[1],证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型做出了有益的尝试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪海涛	昆明理工大学计算机技术应用重点实验室	34	118	6.0	9.0
2	陈星	昆明理工大学计算机技术应用重点实验室	25	72	5.0	7.0
3	胡景荣		30	118	6.0	9.0