形式语言的代数模型研究  

Research on Algebraic Model of Formal Languages

作　　者：陈星[1] 汪海涛[1] 胡景荣[2] 

机构地区：[1]昆明理工大学计算机技术应用重点实验室,云南昆明650051 [2]昆明市科技情报研究所,云南昆明650021

出　　处：《昆明理工大学学报（理工版）》2007年第6期17-20,24,共5页Journal of Kunming University of Science and Technology(Natural Science Edition)

基　　金：昆明理工大学科学研究基金的资助(项目编号:2006-57)

摘　　要：用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念,证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型做出了有益的尝试.A unified theory of formal languages is the basis for automatic software developing. Some concepts of programming languages, such as string, sequential functions and string equivalence, are defined in this paper by Recursion Theory. It is then proved that strings of any context - free language can be mapped to a semi - lattice structure, which hopefully will be a beneficial attempt.

关 键 词：形式语言 代数模型 软件工程 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]