共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
Petri网语言的Pumping引理 总被引:9,自引:0,他引:9
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重耍的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言,已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并小适用于所有的Petrl网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且+正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的。 相似文献
4.
一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实 相似文献
5.
本文为数据流数据库机DDM设计了一种分层结构的语言。其中最内层是一种并发程序设计语言,次内层是一种基本命令语言,这是语言的核心部分,包括数据描述语言DDL和数据操作语言DML,可用它们来构造外一层的更复杂的查询语言,语言最外层是用户应用语言,采用选本单或填表格方式,适用于非专业用户使用。此外,本文还粗略地介绍了语言的一些实现方法。 相似文献
6.
1.引言 在数据库领域,由于描述性语言SQL的成功使用,描述性更加受到重视[1,2,3,4]。描述性语言Data-log的提出,使得一些学者认为知识库语言应该是描述性的程序设计语言[4]。然而多年来的研究,不但没有开发出一个描述性的知识库程序设计语言,而且还阻碍了知识库的实用化[5]。本文研究了描述性与逻辑语言、知识库语言之间的关系,提出了三个观点:1)描述性语言是计算不完备的,因此不能作为独立的程序设计语言;2)逻辑语言是描述性语言的合适形式;3)追求语言的描述性是知识库系统实用化的障碍之一。 相似文献
7.
SP语言是可移植、强类型、面向事件的离散系统模拟语言,是以PASCAL语言为基础进行模拟功能扩充而形成的。本文介绍了SP语言及其实现方法,并结合一个用SP语言编写的模拟程序说明该语言的使用。 相似文献
8.
COBOL 语言是一种适合于商业及数据处理的程序设计语言;C 语言是一种通用的程序设计语言。CCTS 系统能够将用 COBOL 语言书写的程序自动地转换成用 C 语言表示的功能等价的程序。本文讨论了 COBOL 语言与 C 语言的差别,转换的意义,转换的可能性及 CCTS 系统的设计思想及实现策略。 相似文献
9.
CAI Ya-ling 《数字社区&智能家居》2008,(19)
C语言课程设计是C语言学习中一个不可缺少的环节,是学习和掌握C语言的重要手段。结合C语言的学习和课程设计的经验,给出了C语言在学生成绩管理系统设计的一些框架,指出了C语言课程设计中应该注意的一些问题。 相似文献
10.
《计算机科学》2014,(Z1)
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"和"有向图语言"中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。 相似文献
11.
文章研究了用重复集生成的ω语言和语言的附着之间的关系,指出并证明了上下文无关语言附着类是ω上下文无关语言类的真子类,正规语言附着类是ω正规语言类的真子类.作为上下文无关语言的一个真子类——线性语言的附着类是ω正规语言类的真子类. 相似文献
12.
面向对象软件的形式规格说明技术 总被引:1,自引:0,他引:1
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。 相似文献
13.
蔡雅琳 《数字社区&智能家居》2008,(7):92-93
C语言课程设计是C语言学习中一个不可缺少的环节,是学习和掌握C语言的重要手段。结合C语言的学习和课程设计的经验,给出了C语言在学生成绩管理系统设计的一些框架,指出了C语言课程设计中应该注意的一些问题。 相似文献
14.
Perl语言是实用性很强的一门程序设计语言。本文介绍了Perl语言的特点、功能,以及Perl语言的效率问题。另外,还讨论了该语言在群机系统领域,特别是系统管理软件中的重要应用。 相似文献
15.
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。 相似文献
16.
ENC是C语言的扩充。C语言是通用的程序设计语言,是当今世界上最有影响的程序设计语言之一。众所周知,著名的UNIX操作系统就是用C编写的。C语言本身的优点是不容怀疑的,但是,C语言用于结构程序设计的设施,到目前为止还是相当有限的。为弥补这个不足,我们把构造抽象数据类型的设施,称为Cluster,扩充C语言中,形成程序设计语言ENC,并在MICRO VAX-Ⅱ机上将其实现。本文就是介绍ENC的设计与实现。 相似文献
17.
地理信息查询语言发展趋势 总被引:3,自引:0,他引:3
作者首先分析了空间数据库查询语言的特征,然后总结出当前的主流地理信息查询语言是SQL查询语言及其扩展,最后指出可视化查询语言将是未来地理信息查询语言发展的一大趋势。 相似文献
18.
命名为C的程序语言原先是作为分时系统(TSS)用的操作系统(OS)UNIX的主力语言。它是一种精巧的语言。由于C语言适于描述操作系统、编译程序及软件工具,所以自1979年以来在能使用软盘的微型计算机中也开始使用它。相当于C语言子集的tiny C是面向初学者的小语言。一、作为UNIX主力语言而产生的C语言 C语言目的是描述PDP-11上用的操作系统UNIX。在1972年由贝尔研究所的D.Rit-chie研制。设计用在分时系统(TSS)上的UNIX是一个使用非常方便的操作系统,相当普及,随之,C语言也被推广了。 相似文献
19.
Java语言是一门很优秀的语言,具有面向对象、与平台无关、安全、稳定和多线程等优良特性,是目前软件中极为健壮的编程语言。Java已成为网络时代最重要的语言之一。与C++语言比较,Java是一种更纯粹的面向对象程序设计语言。 相似文献