Petri网语言的Pumping引理

Petri网语言是Petri网理论的重要组成部分，也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性，可用来证明某些语言不是Petri网语言，已经证明，当一个Petri网语言可被某个有界Petri网产生时，此语言是正规语言，因此，正规语言的Pumping引理对此语言是有效的，但正规语言的Pumping引理并小适用于所有的Petrl网语言．文中给出了一种Petri网语言的Pumping引理，证明其对任意无空标注的Petri网语言都有效，并且＋正规语言的Pumping引理是此引理的一种特殊形式．利用此Pumping引理可以证明某些语言是不能由Petri网产生的。     

浅谈现代程序设计语言

叙述了程序设计语言的代表函数型语言，逻辑型语言和面向对象型语言，简要说明了这三类语言的概念，特点及使用方法。     

Petri网语言与传统形式语言的关系

本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

计算机入门语言讲什么?

计算机程序设计类课程是许多学校都开设的基础课，但是，如果要问哪个语言最适合作为程序设计的入门语言，答案必然是多样的。Basic语言简单易学；Pascal语言的简明化和结构化很适合教学，最初就是为系统地教授程序设计而设计的；C语言用途广泛、功能强大；C＋＋语言和Java语言是面向对象程序设计语言中应用最广泛的两种。学校安排教学计划时，学习者选择学习起点时会受许多因素影响。例如，有的学习者愿意从最简单的语言入手，循序渐进。而另外一些人，着眼于学以致用，会选择自己认为最“有用”的来学。学校安排教学计划时，一定会从学生知识结构的总体方案来全面考虑。但是，也不排除很多非信息类专业可能只开设一门高级语言程序设计课程，而这门课程的选择主要是为满足后续专业课的需要，例如需要进行大量科学计算的专业可能会选择Fortran语言。因此论证何种语言最应该作为入门语言是没有多大意义的，但是讨论某一个语言是否能够作为入门语言却是必要的。     

多媒体画面语言的语法

语言是人类用来交流思想、传授知识的工具。乌拉圭著名的电影剪辑师阿里洪给我们作出这样的总结：一切语言都是某种既定的成规，一个被社会承认的、教会它的每一个成员来解释的某些具有完整含义的符号。长期以来，人们习惯于将语言和表示语言的符号——文字混为一谈，并且统称为“文字语言”。画面语言通常是用在新闻影视领域的一个概念：构成影视语言的基本因素，影视作品的原料，这对大多数人来说并不通俗，而多媒体画面语言更是完全陌生。同任何一种语言一样，多媒体画面语言也有它的词汇、句法和语法等等。本期编发的《多媒体画面语言的语法》是作者近年来潜心研究的心得，作者自谦为“一个外行人的眼光”，实则是行家的创造性成果。有鉴于此，我们隆重刊出，以飨读者．     

C语言使用中常见错误分析

C语言是一种应用比较广泛的高级语言，作为教学语言非常方便、实用。本文根据C语言的特点，列举了学习和使用C语言时一些常见错误，并加以分析．从而为初学者尽快掌握C语言，提高程序设计水平提供借鉴。     

初学者学习C语言中常见问题的探讨

C语言是编程领域中很有影响力的一种程序设计语言。它简洁、紧凑，使用方便、灵活，并且具备高级语言和低级语言的特征。由于C语言的编译系统对语法的检查不如其他语言那么严格，因此C语言对使用者的要求比较高。笔者结合实际教学中的经验，分类列举出C语言中常见的错误进行分析与探讨，以此对初学者给予借鉴。     

面向对象的PostScript程序设计

PostScript语言是一种新兴的程序设计语言，它具有一般程序设计语言的特点，又有很强的图形描述功能，目前已广泛应用于电子印刷等领域。NeWS窗口系统PostScript语言进行了输入和面向对象的扩充，形成面向对象的PostScript语言，本文对面向对象的PostScript语言进行介绍，着重讨论面向对象的程序设计方法。     

XQuery语言的形式化语义

XQuery语言用于查询XML文档。目前，该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化，本文通过重用XML家族语言通用语义构件的方法，形式化建模XQuery语言的语义，语义的描述采用Object—Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性，而且有助于规范之间的一致性和协调性。     

在微型机上应用PASCAL语言进行工程计算程序设计

程序设计语言PASCAL是基于结构化程序设计的思想设计的，语言紧凑，概念简洁，数据结构和控制结构比较丰富，目标程序效率高、查错能力强。PASCAL语言是目前比较流行的一种程序设计语言，它保留并进一步地扩充了ALGOL60语言的基本数据类型，提供了更为丰富的数据类型     

汇编语言与C语言的混合程序设计技术

讨论汇编语言与C语言的混合程序设计技术。在大规模的程序设计中，汇编语言程序与高级语言程序相结合，充分发挥各自的优点，实现两种语言之间的混合编程，是解决实际问题的有效方法。在实际的程序设计中，C语言主程序可以调用汇编语言子程序，汇编语言主程序可以调用C语言子程序，也可以在C语言程序中嵌入汇编语言语句。在汇编语言与C语言的混合编程中，参数的传递、模块的连接以及调用关系的确定是值得注意的关键问题。     

苹果树稀果的好处及方法

最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、最新研究结果以及语言的表达能力，并就其完备性问题进行了讨论。     

Goedel语言类型系统

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。     

Perl语言在群机系统中的应用

Perl语言是实用性很强的一门程序设计语言。本文介绍了Perl语言的特点、功能，以及Perl语言的效率问题。另外，还讨论了该语言在群机系统领域，特别是系统管理软件中的重要应用。     

运动控制器控制语言及编译系统研究

介绍了一种文字型高级运动控制语言，EP（Easy Program）语言，及其编译系统。这种语言采用类似C语言的结构形式，包括了PLC和运动控制器指令，实现了两种指令的统一编程。其编译系统由上位机编译器和下位机解释器两部分组成，使EP语言具有很强的可移植性和通用性，实现也比较简便。     

BASIC四十年

你知道吗?BASIC语言今年四十岁了。和只有九岁的Java语言以及只有三岁的C#语言相比，BASIC可以算是程序设计语言中的长辈了。可奇怪的是，某些程序员居然坚持认为BASIC是所有语言中最“幼稚”的语言，这不是在颠倒黑白吗?现在，BASIC家族的支持者遍布全世界(在下也勉强算一个)，未来的BASIC语言更没     

可交换上下文无关文法

本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言，证明了正规语言类是可交换上下文无关语言类的一个子集，而可交换上下文无关语言类是上下文无关语言类的一个子集；讨论了可交换上下文无关语言的结构特点，并给出了可交换上下文无关语言的Pumping引理。     

VB和C混合编程的实现

在大型程序开发中，混合编程技术用的非常普遍。之所以要用到混合编程，最主要的原因就在于提高软件的运行效能，在程序设计语言中，每种程序设计语言的功效是各不相同的。VB、VC这样的高级语言是面向介面编程的，而对C语言这样的中级语言来说，可以面像底层的编辑，同时又可以面像高级程序，是个很好的语言桥梁。     

二维器件模拟软件PISCES的程序转换

为了研究半导体器件特性，对器件特性模拟软件PISCES需要不断进行改进。由于PISCES的源程序是用Fortran语言写的，而且前程序设计普遍使用C语言，因此我们将其源程序由Fortran语言转化成了C语言。整个程序编译联接成功，全面功能运行正确。本文结合实际的转化过程，阐述了由Fortran语言到C语言的源程序转化方法。