【摘 要】
：
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所要解决问题的完备、精确的描述。LFC语言是
论文部分内容阅读
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所要解决问题的完备、精确的描述。LFC语言是形式规约获取系统 SAQ(SpecificationAcQuisition system)提供的用于描述形式规约的函数式语言(FunctionalLanguape)，LFC 语言可以在SAQ系统中直接执行，因此是一种可执行的形式规约语言；作为一种函数式语言，LFC 语言具有函数式语言共有的特点，而 LFC 语言与其它函数式语言不同的地方在于其将上下文无关语言(CFL)作为基本的数据类型，其理论基础是上下文无关语言递归函数(CFRF)理论。模式匹配(Pattern Matching)是包括LFC语言在内的大多数函数式语言都具备的重要特性。本文的工作是设计了一种新的模式匹配实现方法，该方法在保留LFC 语言现有模式匹配实现方法中的项编号的基础上，结合常用的模式匹配树的构造思想，运用合一理论的部分知识，通过计算给定模式集合的扩展集合构造出模式匹配树。
其他文献
该文讨论了集群单一系统映象的含义,设计了一个简便易用的集群管理软件TH-CM.作为集群单一系统映象的一个组成部分,该软件实现了集群系统的单一控制点和单一作业管理,解决了
该文研究了HFC网络的MAC层协议,指出了其中需要改进的方面,包括综合提供多种业务和改进冲突的效率问题,发展了一种基于IEEE 820.14标准的改进的MAC层协变色镜.它可以综合提供
该文对各种安全技术做了简要的介绍,重点论述了防火墙技术和入侵检测技术,并对当前较新的入侵方法及相应的检测技术作了详尽的论述,同时结合实际经验对引提出了自己的看法和
该文致力于将数据库应用在PDF印前数码流程调度问题的解决上.在介绍印前流程背景知识的基础上,我们着重分析了流程调度的基本特征,并指出数据库的事务机制及其ACID特性为实现
该文介绍了BtoB电子商务交易中心项目中"交易系统的设计与实现".全文围绕项目总体设计思想阐述了系统的设计和购买及洽谈签约服务模块的设计与实现.交易系统是交易中心的核心
该文分理论篇和实现两部.理论篇包括多媒体CAI总论、网络教育现状与展望、XML与网络教育等三章内容.实现篇包括开发基于CD-ROM的多媒体CAI和开发基于Web的多媒体CAI等两章内
本文的研究是以风机塔筒的焊缝检测为实验目标，开发一台模仿壁虎肢体形态功能并集成先进的激光传感器、嵌入式设备和自动焊缝图像识别技术的四履带永磁吸附壁面移动机器人，该机
该文以青鸟工程中研发成功的青鸟软件配置管理系统(JBCM)为基础,分析了在互联网技术不断发展的形势下,JBCM系统为适应软件远程、跨平台的新型开发方式所需的进一步扩展;同时
该文介绍了国家"八六三"智能化农业信息技术应用示范工程项目中的一部分-"基于Web农业专家系统的开发平台".其中包括整个平台的系统结构、组成部分以及各部分的设计及其实现
该文的工作是"眼底图像处理和三维重建系统"一部分.该文主要就眼底图像的处理以及拼接进行研究.在对眼底图像的处理当中,除了提供了一些常用的图像处理方法,例如图像的增强,