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

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

fd辖区与rf析取语言

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

无限强码

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

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

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

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

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

关于Banach空间上对称乘积映射的不动点

设X~n为拓扑空间X的n次笛卡尔积,G为n个元素的全置换群,对,定义;则G可看作X~n上的一个同胚变换群,称X~n在群G作用下的轨道空间X~n/G为X的n次对称乘积空间,记作X~(n)。定义1 映射F:X→X~(n)称为X上的n次对称乘积映射,或简称为n映射;记,若为X~(n)中紧集,则称F为紧映     

不可约单纯设计B[4,2;v]与B[4,3;v,]的存在性

所谓一个平衡不完全区组设计B[k,λ;v]是这样一个序对(X,(?)),其中X是一个包含v个元素的有限集,(?)是由X的k-子集(称为区组)组成的一个子集族,使得X中任意一对不同的元素同时包含于λ个区组中。若一个B[k,λ;v]不包含重复区组,则称为单纯的。     

一类算子方程的可解性

一、一般性结果 设X是一个可分的、自反的Banach空间,X~*为其对偶空间。<,>表示X与X~*之间的对偶。“”、“→”分别表示相应空间的弱收敛及强收敛。考虑算子,其中D为X中的有界开子集,表示其闭包。     

强可识语言族

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

码与有限极大码的测度

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

Banach空间的一类新特征函数

对于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的许多几何性质可由这类函数的相应性质刻划。     

关于Dickmeis一个定理的推广

设X是具有范数||·||的Banach空间,X~*是X上的半线性有界泛函T的全体,即T满足(1)|T(f+g)|≤|Tf|+|Tg|,f,g∈X.     

扰动极大单调映射的满射性

设X为实自反Banach空间,X~*为其共轭空间。Browder曾提出下列未解决问题:设T:X→2x~*为极大单调映射,T_0为从X到X~*的有界有限连续的T-伪单调映射。假定(T T_0)是强制的,问(T T_0)是否为满射的?本文引入较映射的拟有界性更弱T-有界概念,并引入了一类T-广义伪单调映射及一类T-(M)型映射。当T极大单调时,我们统一了     

有关算子值域的一些问题

X是Banach空间,L(X)是算子代数,U是X~*的闭单位球;视X为C(U)的闭子空间。对非零T∈L(X)若命     

集值Superpramart的一个收敛定理

设(Q,J,P)是一完备概率空间,Banach空间X有RNP且X~*是可分的。记     

可分解平衡不完全区组设计RBIB的存在性理论

一个t-(v,k,λ)设计(X,■)是指由一个v元集X和一个X的子集族■所构成的序对,■中的元素为X的某些k元子集(称为区组),而且X中任意的t元子集都恰好被包含在λ个区组之中。2-设计就是在实验设计中经常用到的平衡不完全区组设计(BIB)。如果     

有界误差传播和前馈可逆的关系

定义 设M~*=〈Y,X,S~*,δ~*,λ~*〉是一有限自动机,若存在自治有限自动机M″=〈Y″,S″,δ″,λ″〉和Y~(c 1)×λ″(S″)到X的单值映射,使得且,则称M~*为c阶半输入存贮的,并记作(M″,f)。     

等距同构嵌入的进一步的性质

X是Banach空间,L(X)是算子代数,U是X~*的闭单位球。对非零T∈L(X),(?)∈L(C(U))是:前文(科学通报)得到:若非零T∈L(X)使,并且U和T~*U是弱~*-弱~*同胚的,则C(U)和它的真闭子代数(?)C(U)完全同构,即存在由C(U)到(?)C(U)的一对一、线性、等距、保持乘法及复共轭运算的满射。     

集值鞅、下鞅与上鞅

本文是在文献[1-8]的工作基础上进行的。 设(Ω,A,P)是一完备概率空间,X是可分Banach空间,X~*是其对偶空间。令     

关于单调算子方程构造可解性问题的解答

在1974年5月美国数学会举办的“希尔伯特问题的数学结果”专题讨论会上,F.E.Browder曾提出下述构造可解性问题(即问题ⅩⅩⅡ(G))。设X是自反巴拿赫空间,A是从X到X~*的连续、有界、单调、强制映象,X~(-1)单值且有已知连续模,问:是否能对方程Ax=0解的存在性给出一个构造性证明?对所