关于Wang PC中文化BASIC解释程序的研制

本文介绍了Wang PC中文化Basic解释程序的研制概况,先解剖原西文Basic解释程序,然后根据中文化OS提供的新的功能及中文化的设计要求改造之,着重介绍了这当中碰到的几个关键问题。     

一元多值逻辑函数集中的一类极大封闭集——线性置换群在对称群中的极大性

在多值逻辑理论和自动机理论中,一元多值逻辑函数系完备性之判断问题是一个基本而重要的问题。此问题的彻底解决依赖于定出集合E_k={0,1,…,k-1}上全体一元多值逻辑函数集P_k~(1)的所有极大封闭集。Bairamov对有限对称半群中完备性问题进行了研究,据其结果,我们可把P_k~(1)的所有极大封闭集的确定归结为定出E_k上K次对称群S_k的全部极大子群。但在有限群论中,定出S_k的所有极大子群至今还是一个尚待解决的困难问题。由K值逻辑中基本群之研究,我们将E_k上的置换群分为下列互不相同的四类: 一、非可迁群和非本原群; 二、保正则二项关系的置换群,此时K=h~m,h≥5,m≥2; 三、线性置换群; 四、基本置换群,即它与一个真多元取K个不同值的函数构成P_k的一个完备集,这里P_k是由E_k上全部多值逻辑函数所作成的集合。这样,只要定出上述四类置换群在S_k中的极大子群,就定出了S_k的全部极大子群Bairamovc和Balll分别定出了第一类置换群在S_k中的全部极大子群。罗铸楷根据多位逻辑函数之特性,简捷地确定了S_k中保正则二项关系置换群的具体表示,并定出了其在S_k和工A_k(K次交代群)中的全部极大子群(除K=5~2外)。目前,关于第四类置换群在S_k中的极大子群还只有一些零星结果。由于基本置换群与多值逻辑函数紧密相关,可以预见,在其极大性之研究中,多值逻辑函数的结构理论必将成为有力的工具。本文主要讨论线性置换群在S_k或A_k中的极大性问题。由[8]之结论和有限单群分类的成果,作者定出了线性置换群在S_k和A_k中的全部极大子群。此外,当K为质数时,作者还定出了S_k的全部极大子群,从而定出了P_k~(1)的所有极大封闭集。