一类ω—正则语言

ω—语言是由有穷字母表∑上的某些无穷串组成的集合。被所谓的ω—有穷自动机接受的ω—语言称为ω—正则语言。在[4]中作者曾从集合的角度给出—ω—语言为ω—正则语言的几个充分条件。在本文作者仍从集合的角度给出一个ω—语言为ω—正则语言的充分条件,即若—ω—凸语言L满足L=adh(pref(L))=pref(L)tail(L),则L是—ω—正则语言。从而,确定了ω—正则语言类的一个子类。     

PL/I和FORTRAN的UPSI接口

本文提供PL／I和FORTRAN的UPSI接口程序。这对于PL／I和FORTRAN程序调用汇编语言子程序并实现参数传递也是一个示例。     

C语言curses函数库与屏幕编辑

本文对使用C语言设计多窗口编辑，以实现Foxbase的＠get－read功能为例，介绍curses函数的用法，并给出了源程序。     

用C++开发WINDOWS 3.0的应用程序

本文介绍了如何通过Borland C++开发WINDOWS 3.0的应用程序，同时说明了新一代面向对象的程序设计方法OOP（Object－Oriented Programming）的基本特性和实现方法。     

Turbo Prolog和Turbo C的互调用技术

本文在阐述了TurboProlog和TurboC两种程序设计语言的主要特点之后，具体给出了它们相互调用的方法、注意要点及环境设置，最后给出了两个例子。     

FoxBASE应用技巧

本文结合实际应用，介绍了FoxBASE应用中的两个技巧：一是介绍一种在F0xBASET打印表时，不打“零”的方法；二是介绍在FoxBASE下画图的新方法。     

连续系统仿真语言MSL

MSL仿真语言系统引入了降阶技术，从而允许用户以微分方程的原始形式作为仿真模型直接写入仿真程序；语法制导编辑技术的采用打破了常规的高级语言源程序编辑和编译的过程，使程序的语法和语义的正确性在程序一经输入即得以保证；MSL使仿真的各概念清晰，实现了实验与模式显式分开，支持多模型，子模型和自定义函数等概念，使语言仿真描述摸型能力强、逼真。     

将SYBASE的数据转换成WATCOM SQL的数据

本文绘出了一种将SYBASE的数据转换为WATCOM SQL中的数据的实现途径，并给出了用Powerscipt语言实现的程序。对本程序略加修改就可以实现任何两个支持SQL语句的数据库门的数据转换     

巧用Borland C++资源编辑器

BorlandC＋＋3.1提供了DOS和Windows两种环境下的软件开发平台。其Windows环境下的可执行文件WORKSHOP.EXE是一个功能强大的资源编辑器（简称编辑器），为开发利用Windows环境下的应用程序提供了强有力的辅助工具。     

Windows环境下数据交换及其在C++下的实现

本文阐述了Windows环境下的两种数据交换方式：静态数据交换、动态数据交换的工作原理和特点以及在C++语言中实现的具体步骤。     

基于多策略融合Giza++的术语对齐法

跨语系术语对齐质量不高,原因在于其依赖于低质量的术语抽取与对齐.提出的多策略融合Giza++ (AGiza)的术语对齐法,为提高术语抽取质量,用首尾词性规则提高召回率,用独立过滤、停用过滤提高准确率,再识别共句术语对.为提高术语对齐的对准率:基于独立度、停用度,提出独立相关度、停用相关度;由种子对相关度和单词关联度概率加组合成语义相关度;根据首尾对齐情况,提出首尾相关度,并去除值为0者;基于词性组成特征,构造词性相似度;由GIZA++计算得到g值;经过属性的相关系数分析后,乘法组合各属性构造术语对齐度a;最后,过滤a超过术语对齐阈值(由召回率设定)的术语对.实验结果表明,AGiza术语对齐,可有效地处理跨语系术语对齐,质量高于GIZA++,Dice, F2,LLR,K-VEC及DKVEC.     

如何在C语言中直接使用XMS

本文提出了一种在高级语言编写的应用程序中，如何直接利用扩充内存块XMB来存储数据，以改善程序的运行环境，提高可用内在容量和程序运行速度的方法。并以C语言为例，给出了该方法的实现技术。     

基于语义单元表示树剪枝的高速多语言机器翻译

提出一种基于语义单元表示树剪枝的高速多语言机器翻译方法.此方法是一种将汉语翻译到其他语种不需要先进行汉语切分的多语言机器翻译方法.而且翻译时间为O(L)而不是O(LN),其中,L是文本的长度,N是语义单元库中语义单元的数量,一般有数十万或者数百万.     

ω幂上下文无关语言及其封闭性质*

本文定义了ω幂上下文无关语言ω—P— cfl和一类ω下推自动机ω—pda，给出了它们 的关系.借助于ω时序转换器ω—ST，讨论了ω—p—cfl类的某些封闭性质，证明了对于ω—p—cfl类L，m(L)={s’(A)|A∈s'是一个ω—ST)=(h₂(h₁^-1(A)∩R)|A∈L,R是一个ω正规语言，h_{1相似文献}   

关于有ω-穷自动机的两个新的接受条件*

至今被公开的ω-有穷自动机的接受条件有6个即C₁—C₆，寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言的能力是ω-有穷自动机理论中的一个重要课题．本文定义了ω-有穷自动机的两个新的接受条件Z₁和Z₂，并且研究了：(1)ω-U—NFA关于Z_i(i=1,2)接受 ω-语言的能力，得到了 N     

基于XYZ/E描述和验证容错系统

研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序P_F;基于P,F和恢复算法R,通过容错转换给出容错程序P_F-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.     

浅谈Borland C++4.0的异常处理机制

本文从抛出异常，捕获异常，对异常的处理以及异常指定等几个方面详细地讨论了BorlandC++4的异常处理机制，分析了其不足之处并对解决办法进行了探讨。     

UNIX/XENIX系统下C语言程序的调试法

C语言程序的调试、检验工作量很大、且具有较强的技巧性。本文从实践中总结出一些常用的方法，介绍给同仁以供参考。     

利用点阵打印机打印曲线图的方法

本文以LQ－1600K打印机为例，介绍一种实际应用中打印曲线图的方法，并对具体实现过程作了详细描述。