强可识语言族

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

积分语言族的强可识性、半可识性与语言族的强替换性

令∑为有限字母表,∑~*为三生成的自由么半群。u∈∑~*为∑上的字,L ∑~*为∑上的语言,x L(∑)为∑上的语言族。∫XdV为关于字V的X的积分。c′(X)为X的强相容闭包。 郭聿琦等建立并讨论了语言族的强可识性,半可识性与强替换性。本文讨论积分语言族的强可识性与半可识性,建立了积分语言族强可识与半可识     

Abel正则语言的毕竟周期性

定义1 (ⅰ).关于么半群M的子集S,P_s表示M上的如下同余:xP_(sy),当且仅当(?)u,v∈M(uxv∈S(?)uyv∈S);(ⅱ).么半群M(有限集合∑生成的自由么半群∑’)的子集s(L)称为M的正则子集(∑上的正则语言),或M的Abel子集(∑上的Abel语言),如果P_s(P_L)指数有限,或商么半群M/P_s(∑~*/P_L)交换。 定义2 令∑为一有限集合,L_1,L_2为∑上的两个语言(即∑~*的两个子集)且     

一个f-析取的上下文无关前缀码

郭聿琦,Shyr和Thierrin讨论了f-析取语言,本文作为f-析取语言的一点注记,给出一非析取的f-析取的上下文无关前缀码。 设X是有限字母表X生成的自由么半群.X的元素称为X上的字。X的恒等元称为x上的空字,记为ε.X的子集称为X上的语言。关于任一L(?)X,在X上定义等价关系P_L如下:     

无限强码

设Σ~*是(有限)字母表Σ生成的自由么半群。Σ的元素称为字母,Σ~*的元素和子集分别称作Σ上的字和语言。Σ~*的恒等元称为空字,记作∧,且记Σ~+=Σ~*-{∧}。关于Σ上任何字x,用lg(x)表示x中出现的字母的个数,叫做x的长度。     

fd辖区与rf析取语言

一、引言 令X为一有限集合,X~+与X~*=X~+∪{ε}分别为X生成的自由半群与自由幺半群。 令L为X上一语言(即L(?)X~*),P_L为使得L是其若干等价类的并的X~*上的最大同余,即     

交换封闭的理想语言及其准素分解

设X为一个有限集,X~*表示由X生成的自由么半群。X中的元素叫字母,X~*的元素与子集分别称为X上的字与语言。X~*的恒等元称为空字,记为λ。且记X~+=x~*-{λ}。 关于X上任一语言A,如下定义的X~*上的关系P_A是X~*上的同余:     

矩形码及方码

设字母表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的有限子语言     

能量泛函与Killing变换

设X=（X_t,P~x)是一个右Markov过程,具有状态空间,(E,δ)、转移半群（P_t）和豫解（U~q）. 参考文献[1],用Exc~q(X),Dis~q（X）,Con~q(x)分别表示X的q-过分测度、耗散测度、保守测度的锥.S~q(X)表示X的q-过分函数的锥。习惯地当q=0时q可省略不写。令MF表示X可乘泛函全体。对于给定的M∈MF,记E_M:={x∈E:P~x（M_O=1）=1}及SM:= inf{t>0:M_t=0},它们分别为M的永久点集及生命时,我们将得到另一个右过程X＇=（X_t,Q~x),它具有状态空间E_M,其转移半群由下式确定:Q_tf(x):=P~x[f(X_t)M_t] 。记其对应的豫解为（V~q）。称X＇是X的子过程或由M产生的Killing变换。     

镶成右凸语言并、交、连结的超码与右凸语言幺半群的自由性

设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)。围绕嵌入序定义了若干类语言:     

集函数过程与Frechet空间的核性

设E为Frechet空间,P为E的连续半范数族,U为E的0-邻域族,M(Σ,E)是代数Σ上的E值有界变差有限可加测度全体。定义1 设μ∈M(Σ,E)。对于p∈P,记,其中,π是Ω到Σ的有     

有限交换环上的典型群阶的计算

本文计算出任意有1的有限交换环上几类典型群的阶,同时利用GL_(?n)的阶得出有限交换局部环上一般向量空间中的计数定理.设R为有1的有限交换环.R可唯一表成有限个局部环R_i的直积,即R(?)R_i(R_i为有限局部环).R上的典型群G亦可写成G=multiply from i=1 to m G_i,这里G_i为R_i上相应的典型群.因而我们可将所讨论的问题限制在有限交换局部环上.下文如无特别声明,R表示有限交换局部环,M表其唯一的极大理想,K表示商域R/M.令π:R→k表R到k上的典型同态,但我们常记α∈R在k中的象为(?).令(?):GL_nR→GL_nk(SL_nR→SL_nk)表R与k上的一般线性群(特殊线性群)间的同态.记ker(?)=GL_nM(SL_nM),并用GL_n(R,M)(SL_n(R,M))表模M为GL_nK(SL_nk)中心元的GL_nR(SL_nR)中元素组成的子群.     

局部紧拓扑半群上概率测度卷积幂Essential集的几个注记

有关拓扑群或拓扑半群上概率测度序列的极限性质,许多学者已作过研究.Maximov在S为紧拓扑群时研究了用测度的卷积序列的Essential点集来刻划其序列的极限性质.本文则在一类局部紧拓扑半群上研究类似问题,而且所用方法也不同于文献[1].完全简单半群在文中起重要作用.文中所用的术语和预备知识参见文献[2].     

LD和LD设计的存在性

所谓n(>1)阶LD设计是n元集X上的一个集族LD(n)=LD[X]={φ~1,φ~2,φ_z;x∈X},满足 (Cl)φ~i(j=1,2)由X的有序四元组构成,而φ_x(x∈X)由X\{x}的有序三元     

有限单群的一个刻划

在文献[1]的基础上,仅用元的阶之集我们又刻划了一批有限单群,即证明了下述定理: 定理 设G是有限群,H为下述有限单群之一:A_(11);PSU(6,2);S_z(2~(2m+1)),m≥1;M_(12),J_3,HS,McL,Suz,Ru,O'N,Co_2和Co_3.则G同构于H当且仅当π(G)=π_e(H),其中π(G)表示G中元的     

关于Abercrombie一个结果的注记

设θ∈[1, ∞ )为任意实数,序列 B_θ={[nθ]|n∈N|叫作由θ决定的Beatty序列Beatty序列近年来由于同半群的联系而受到关注(见文献[1]及其参考文献).Abercrombie考虑了Beatty序列中的除数问题.设k≥2为固定正整数,令D_k(θ;x)=sun from n ≤x/θd_k([nθ])=sum from n≤x n∈B_yd_k(n).则文献[2]证明了,在Lebesgue,测度意义下.对几乎所有的θ≥1,有D_2(θ;x)=θ~(-1)D_2(1;x) O(X~(5/7 ε),     

关于调和同态的一个Bernstein型定理

设φ:M→N是Riemann流形间的光滑映照。如果φ将N上调和函数芽拉回到M上的调和函数芽,则称φ为调和同态。调和同态等价于水平弱共形调和映照。研究调和同态的文章已越来越多,尤其在低维流形情形(参见文献[3～7])。在文献[4]中,Baird和Wood证得:(ⅰ)任何从三维球面(S~3,g_(can))到一Riemann曲面N~2的非常值调和同态必为Hopf纤维化π:S~3→S~2与一个弱共形映照的复合。特别地,N~2=S~2。(ⅱ)任何从R~3到N~2的非常值调和同态是正交投影R~3→R~2与一个弱共形映照的复合。本文希望将此结果推广到高维,我们有     

超椭圆曲线上的几何MDS码的主猜想

在文献[1]中讨论了几何码的主猜想,证明了当基域的元素个数足够大时,对亏格小于3的曲线上的码,主猜想为真.本文将讨论超椭圆曲线上的主猜想问题.1 一些概念在此,我们回忆一下代数几何的有关概念,F_q表示q-元有限域,X是定义在F_q上的代数曲线,X(F_q)是X在F_q上的有理点集,F_q(X)表示X在F_q上的函数域.Div(X)是X的除子群.对X在F_q上的有理除子D,Supp(D)表示D的支点集,L(D)={f∈F_q(X)~*|div(f) D≥0}∪{0}是F_q向量空间,1(D)=dimL(D).对两个除子D和D’,D～D’表示它们线性等     

实半单Lie群的正交实表示

严志达与张大干在文献[1]中,给出了实半单Lie群的有限维实表示的分类。本文将利用Vogan在文献[2]中提出的最低K型的概念,讨论实半单Lie群的正交表示设G为实半单连通Lie群,K为G的极大紧子群,分别为它们的Lie代数。V是一个实Hilbert空间。π:G→End(V)为一个同态。且π(g)v(g∈G,v∈V)为G×V到矿V的连续映射,则称(V,π)为G的一个实Hilbert表示。若π(g)同时又是正交算子(保持内积不变),则(V,π)称为G的正交(实)表示。若V中没有π(G)的非平凡不变闭子空间,则称(V,π)不可约。以下恒假定(V,π)为G的不可约正交表示。记(V~c,π)为(V,π)的复化。     

指数有界C-半群的生成元和Hille-Yosida空间

(X,‖ ‖)是Banach空间,C是X中的单射有界线性算子。X上的强连续有界线性算子族{S(t);t≥0}称为指数有界C-半群(以下简称C-半群),如果S(0)=C,S(t)S(s)=S(t+s)C,(?)t,s≥0,以及‖S(t)‖≤Me~(at),(?)t≥0。C-半群{S(t);t≥0}的生成元A定义如下: