首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
许光午 《科学通报》1986,31(6):401-401
设X为一个有限集,X~*表示由X生成的自由么半群。X中的元素叫字母,X~*的元素与子集分别称为X上的字与语言。X~*的恒等元称为空字,记为λ。且记X~+=x~*-{λ}。 关于X上任一语言A,如下定义的X~*上的关系P_A是X~*上的同余:  相似文献   

2.
王水汀 《科学通报》1987,32(10):791-791
设X为有限字母表,X~*为X生成的自由幺半群。X~*的子集称为X上的语言,X~*的元素称为X上的字,X~*的恒等元1称为X上的空字,X~+=X~*-{1}。很多作者认为X~*上的嵌入序≤是一个十分重要的偏序: x≤y当且仅当x=x_1x_2…x_n,y=y_1x_1y_2x_2…y_nx_ny_(n+1)。围绕嵌入序定义了若干类语言:  相似文献   

3.
雷忠学 《科学通报》1985,30(17):1356-1356
令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识  相似文献   

4.
无限强码   总被引:2,自引:0,他引:2  
张洛欣 《科学通报》1986,31(22):1685-1685
设Σ~*是(有限)字母表Σ生成的自由么半群。Σ的元素称为字母,Σ~*的元素和子集分别称作Σ上的字和语言。Σ~*的恒等元称为空字,记作∧,且记Σ~+=Σ~*-{∧}。关于Σ上任何字x,用lg(x)表示x中出现的字母的个数,叫做x的长度。  相似文献   

5.
章亮 《科学通报》1986,31(6):412-412
设字母表X={a,b),讨论X上的语言B={a~iba|i,j≥0),显然B中的字可用平面上的点(i,j)来表示,或用点(i,j)右上方的单位小方块来表示。对任意确定的正整数d_1,d_2,d,其中d_1(?)d_2,我们分别称B的有限子语言  相似文献   

6.
徐至展 《科学通报》1993,38(5):419-419
近年来,X射线激光研究取得了重大进展。在我们以前的工作中,利用具有空间分辨能力的光谱诊断技术,成功地观察到类锂硅离子5f-3d(88.84 )、5d-3p(87.28 )、6f-3d(75.83 )、6d-3p(74.64 )四条谱线显著的激光放大现象。本文报道我们进一步对这四条谱线产生放大的动力学过程的研究。我们发展了一种同时具有时间和空间分辨能力的光谱诊断技术,首次测量了上面四条激光线发射的时空特性,进一步从实验上证实了所观察到的X射线激光是三体复合泵浦产生的。实验是在中国科学院上海光学精密机械研究所LF12激光装置上进行的。从激光装置  相似文献   

7.
王萼芳 《科学通报》1983,28(3):188-188
G是有限集合Ω上的一个置换群。Ω的一个子,集的有序排列称为一个序列.序列X称为G的一个基(C. C. sims, 1970),如果从g∈GX~g=X可推出g=1.设X是G的一个基,如果X均任一个真子序列都不再是G的基,则称X为G的一个不可  相似文献   

8.
许光午 《科学通报》1991,36(7):555-555
对于半群S,由其任一子集A所决定的句法同余是.以E为幂等元集的逆半群S是E-析取的,如果P_E=1s.可以证明每个逆半群都是E-析取逆半群与基本逆半  相似文献   

9.
汪立民 《科学通报》1990,35(8):572-572
研究E-析取逆半群是Petrich提出来的一个问题。Pastijn和Petrich又定义并讨论了E-析取正则半群。文献[3,4]都研究了E-析取逆半群。由文献[1]易知每个逆半群都同构于一个基本逆半群和一个E-析取逆半群的次直积,可见E-析取的概念有重要的意义。受文献[3]的启发,我们在此考虑了正则单半群的强半格的E-析取性,给出了一个刻划。文献[3]中E-析取Clifford半群的刻划是本文结果的一个推论。  相似文献   

10.
张连文 《科学通报》1986,31(18):1361-1361
一、预备知识与主要结果设X是一集合,其上一子集类B称为交系,如果它对集合交运算封闭。含X和(φ)的交系称为富交系。给定X上的富交系B,函数Bel:B→[0,1]称为其上一信任函数,如果(1)Bel(φ)=0;  相似文献   

11.
郭聿琦 《科学通报》1984,29(3):136-136
Σ为一有限集,Σ~*表示Σ生成的自由么半群,Σ~*的元素与子集分别称为Σ上的字与语言,2~(Σ*)表示Σ~*的幂集,L(Σ)=2~(Σ*)—{φ}的子集称为Σ上的语言族。在人工智能中的一些问题的推动下,1974年Havet等人开创了语言的分支代数结构的研究,定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel在文献[2]中又引进了语言的相似度的概念,进而定义了语言之间的一种距离d,使(L(Σ),d)成一距离空间;文献[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为L(Σ)的闭集。  相似文献   

12.
章亮 《科学通报》1986,31(20):1535-1535
设X是有限字母表,文献[1]以如下方式引入了X上一切语言构成的语言族么半群2~(X*)上的测度:令π是X上的一个概率分布,同态扩张π为么半群X~*到么半群[O,1](关于实数乘法)的函数,仍记为π,对任意语言L∈2~(X*),令π(L)=(?)(s),特别令π(Φ)=0,则π便是语言族么半群2~(X*)的σ有限测度。以下我们讨论语言族么半群2~(X*)上的测度,一概指X上的概率分布的这种同态扩张,并称之为概率扩张测度。  相似文献   

13.
张锦豪 《科学通报》1986,31(24):1858-1858
与Kobayashi伪度量的构造方法相似,利用一一全纯映射可以在复流形X上定义一个新的伪度量,称为S伪度量。以△记复平面C上的单位圆,X(△)为△到X的全纯映射集合。(?)_x为X(△)中一一映射构成的子集.对于p∈X及p点的一个切向量ξ,定义  相似文献   

14.
王伯英 《科学通报》1983,28(23):1414-1414
得到的数列u=(u_0,u_1,…)被称为f产生的更新序列。f则叫做u的f-序列。若v=(v_0,v_1,…),w=(w_0,w_1,…)是两个更新序列,令u_n=v_nw_n(n=0,1,…),则称u=(u_0,u_1,…)为v与w的圈积,记作u=vw,称为圈乘运算。  相似文献   

15.
依据我国高职高专大学英语课程培养目标,从我校大学英语教学的现状和学生的实际情况和需求出发,在语言基础和语言运用能力的培养上突出一个"实"字.在语言基本技能和涉外交际能力的培养上突出一个"用"字.为学生开设多样化课程(选修课),将知识传授和能力、素质培养融为一体,以满足学生的个性化需求,培养学生的应用能力.同时,辅以现代化教学手段,实施以促进学习者自主性为目标的课程体系的改革,进而实现高职高专为社会培养专业技能+创业素质+外语水平的人才战略目标.  相似文献   

16.
黎曼流形N称为殆积黎曼流形,如果在N上存在(1,1)型张量场F和黎曼度量g满足F~2=I(F≠土I),g(FX,FY)=g(X,y)这里I为单位变换,X,Y为N上的向量场.我们记(?)为N上关于g的黎曼连络,如果(?)F=0,则称N为局部积流形,(F,g)称为局部积结构.定义1 设M为局部积流形N的子流形,如果在M上存在两个正交补分布D和D┴满足  相似文献   

17.
Banach空间的一类新特征函数   总被引:2,自引:0,他引:2  
对于Banach空间X的每一点x,令其对应一个确定的f_x∈S(X~*),满足f_x(x)=||x||;并约定对任何a>0,f_(ax)=f_x。其中X~*是X的共扼空间,S(X~*)是X~*的单位球球面、考虑定义于[O,∞)的t的实函数f_(x十ty)(x)和f-(x十ty)(y)。空间X的许多几何性质可由这类函数的相应性质刻划。  相似文献   

18.
L(p~(1,1))和w-E则语言   总被引:2,自引:0,他引:2  
田启家 《科学通报》1994,39(21):1932-1932
1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*,N∈∑~w,有时也把u、v分别记为u(0)u(1)…u(n)(若(u)=n 1)和刚v(0)v(1)v(2)….用w(m,n)记字w的从第m个位置起到第n个位置止的那一串符号构成的字.根据McNaughton的定理,w-E则语言可以通过非决定性的B(?)chi自动机来定义,也可以通过决定性的Muller自动机来定义.  相似文献   

19.
刘光裕 《科学通报》1984,29(11):702-702
设x是Banach空间,(X)是X上有界线性算子全体,a=(a_1,…,a_n)(X)为交换组,sp(a,x)记J.L.Taylor意义下的联合谱。a称为m可单位分解的(m≥2为固定自然数):若对C~n的任意m开覆盖{G_j}_(j=i)~m,存在与a可换的算子{V_j}_(j=i)~m(V_j称为a的局部投影算子)和a的不变子空间{X_j}_(j=i)~m满足:若对任意自然数m≥2,a是m可单位分解的,则a称为可单位分解的。  相似文献   

20.
E.c.结构与e-伴随   总被引:1,自引:0,他引:1  
沈恩绍 《科学通报》1989,34(4):241-241
e-伴随,f-伴随及 g-伴随是三种最重要的伴随。虽然e.c.结构概念在模型论中的引入要较有穷与无穷兼纳结构为早,但关于e-伴随的研究却较力迫伴随为晚,而且讨论也不甚深入。目前已知的结果是Hirschfeld的对e-伴随的一种间接刻划(无限逼近)。众所周知,利用极大型可以刻划e.c.结构,但甚至其完备型场合的形式对应概念——正规型,面对e-伴随也无能为力。本文从正规型中分离出一类特殊的型,称为强正规型,它正是描  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号