共查询到20条相似文献,搜索用时 31 毫秒
1.
设X为一个有限集,X~*表示由X生成的自由么半群。X中的元素叫字母,X~*的元素与子集分别称为X上的字与语言。X~*的恒等元称为空字,记为λ。且记X~+=x~*-{λ}。 关于X上任一语言A,如下定义的X~*上的关系P_A是X~*上的同余: 相似文献
2.
设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.
令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识 相似文献
4.
5.
6.
近年来,X射线激光研究取得了重大进展。在我们以前的工作中,利用具有空间分辨能力的光谱诊断技术,成功地观察到类锂硅离子5f-3d(88.84 )、5d-3p(87.28 )、6f-3d(75.83 )、6d-3p(74.64 )四条谱线显著的激光放大现象。本文报道我们进一步对这四条谱线产生放大的动力学过程的研究。我们发展了一种同时具有时间和空间分辨能力的光谱诊断技术,首次测量了上面四条激光线发射的时空特性,进一步从实验上证实了所观察到的X射线激光是三体复合泵浦产生的。实验是在中国科学院上海光学精密机械研究所LF12激光装置上进行的。从激光装置 相似文献
7.
8.
9.
研究E-析取逆半群是Petrich提出来的一个问题。Pastijn和Petrich又定义并讨论了E-析取正则半群。文献[3,4]都研究了E-析取逆半群。由文献[1]易知每个逆半群都同构于一个基本逆半群和一个E-析取逆半群的次直积,可见E-析取的概念有重要的意义。受文献[3]的启发,我们在此考虑了正则单半群的强半格的E-析取性,给出了一个刻划。文献[3]中E-析取Clifford半群的刻划是本文结果的一个推论。 相似文献
10.
一、预备知识与主要结果设X是一集合,其上一子集类B称为交系,如果它对集合交运算封闭。含X和(φ)的交系称为富交系。给定X上的富交系B,函数Bel:B→[0,1]称为其上一信任函数,如果(1)Bel(φ)=0; 相似文献
11.
Σ为一有限集,Σ~*表示Σ生成的自由么半群,Σ~*的元素与子集分别称为Σ上的字与语言,2~(Σ*)表示Σ~*的幂集,L(Σ)=2~(Σ*)—{φ}的子集称为Σ上的语言族。在人工智能中的一些问题的推动下,1974年Havet等人开创了语言的分支代数结构的研究,定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel在文献[2]中又引进了语言的相似度的概念,进而定义了语言之间的一种距离d,使(L(Σ),d)成一距离空间;文献[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为L(Σ)的闭集。 相似文献
12.
设X是有限字母表,文献[1]以如下方式引入了X上一切语言构成的语言族么半群2~(X*)上的测度:令π是X上的一个概率分布,同态扩张π为么半群X~*到么半群[O,1](关于实数乘法)的函数,仍记为π,对任意语言L∈2~(X*),令π(L)=(?)(s),特别令π(Φ)=0,则π便是语言族么半群2~(X*)的σ有限测度。以下我们讨论语言族么半群2~(X*)上的测度,一概指X上的概率分布的这种同态扩张,并称之为概率扩张测度。 相似文献
13.
14.
得到的数列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.
18.
L(p~(1,1))和w-E则语言 总被引:2,自引:0,他引:2
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.
设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
e-伴随,f-伴随及 g-伴随是三种最重要的伴随。虽然e.c.结构概念在模型论中的引入要较有穷与无穷兼纳结构为早,但关于e-伴随的研究却较力迫伴随为晚,而且讨论也不甚深入。目前已知的结果是Hirschfeld的对e-伴随的一种间接刻划(无限逼近)。众所周知,利用极大型可以刻划e.c.结构,但甚至其完备型场合的形式对应概念——正规型,面对e-伴随也无能为力。本文从正规型中分离出一类特殊的型,称为强正规型,它正是描 相似文献