位置：成果数据库 > 期刊 > 期刊详情页
Z-Quantale的进一步结果
  • ISSN号：0583-1431
  • 期刊名称：数学学报
  • 时间：2015
  • 页码：911-922
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]陕西师范大学计算机科学学院,陕西西安710119, [2]安庆师范大学数学与计算机科学学院,安徽安庆246013
  • 相关基金：国家自然科学基金（11271237,11301316）; 安庆师范学院青年科研基金（KJ201413,KJ201214）
  • 相关项目：Domain与Quantale理论的模糊化研究
作者： 鲁静|汪开云|赵彬|
关键词： 半环, 加权有限自动机, 局部有限, 同态, semiring, weighted finite automata, locally finiteness, homomorphism
中文摘要：

讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。

英文摘要：

The transformation monoid of weighted finite automata is introduced.According to the congruence relation of weighted finite automata,the concept of sytactic monoid is presented,and some conditions for syntactic monoid being finite are given,and the relationship between transformation monoid and syntactic monoid is established.Finally,the transition monoid of weighted finite automata is discussed.

同期刊论文项目
Domain与Quantale理论的模糊化研究
期刊论文 87 会议论文 8
Domain与Quantale理论中的拓扑结构以及模糊集方法的应用
期刊论文 17
同项目期刊论文
模糊半连续格的性质
剩余偏序集及其与FI代数的关系
基于剩余格的一类度量空间及性质
计量逻辑中真度的均值表示形式及应用
对合左Q - 模范畴的性质
WBR0-代数的正则性及与其他逻辑代数的 关系
WBR0-代数的两种弱化形式及其性质
Heyting系统及其H-空间化表示形式
Cartesian closed categories of FZ-domains
Closure operators and closure systems on quantaloid-enriched categories
局部有限BL-代数的素逆演绎系统及性质
BL-代数的余零化算子及其BL同态像
区间集上非交换剩余格的属于ｆｕｚｚｙ滤子及其特征刻画
MTL-代数的Wejsberg形式及其应用
命题逻辑系统R0L中公式的г-真度及性质
BR0 代数中MT理想的扩展及素MT理想的存在性
强并半格中的C-滤子及其应用
模态逻辑系统Ｓ４中的度量结构
FI代数的理想
区间集上非交换剩余格的不属于ｆｕｚｚｙ滤子及其特征刻画
MTL-代数及其MP滤子型商代数的局部有限性
m-半格的模糊理想
序半群中的粗糙理想
WBR0-代数的Fuzzy蕴涵理想
W-代数偏序集及其性质
序半群上的S-拓扑
A duality between fuzzy domains and strongly completely distributive L-ordered sets
格中粗糙集的若干性质
Ｑｕａｎｔｉｃ 格中的素元及相关问题研究
模糊Domain上的模糊序同态及其性质
Lukasiewicz命题逻辑中公式的г-真度和极限定理
Two Cartesian closed subcategories of fuzzy domains
Characterizations of endomorphic nuclei on R0-Algebras (Nilpotent Minimum Algebras)
推理闭包子空间的基本性质及其交并运算
Algebras with compatible quantale-enriched structures
R0-蕴涵算子所导出的逻辑函数的特征
MTL-代数的演绎系统和余零化子及其相互关系
BL-代数的一种弱化形式
IMTL逻辑代数的一种新强化形式
WBR0-代数的Pt-模表示和Ps模表示
基于正则FI代数的MT理想及其应用
Quantale的上粗理想
Quantic格的模糊理想
Quantale系统的空间化和Q-Locale化
L- 抽象基与模糊 Round理想完备化
模糊完备格上的模糊同余关系
Quantale上的Localic核与Localic余核映射
SWBR0-代数的蕴涵理想及其诱导的商代数
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质
2n-值布尔逻辑-2-值布尔逻辑的自然推广
Join-completions of L-ordered sets
Quantic格中的理想和理想余闭包算子
相容半连续Domain
Heyting系统及其H-Locale化形式
关于命题逻辑系统中相似度性质的修订
模糊Quantale范畴的性质
BL-代数的余零化算子及其 BL 同态像
区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画
SWBRo-代数的蕴涵理想及其诱导的商代数
m-半格的粗糙模糊理想
模糊Quantale范畴中的投射对象
MTL代数的Wajsberg形式及其应用
IMTL逻辑系统的一种新扩张形式
局部有限 BL-代数的素逆演绎系统及性质
WBR_0-代数的正则性及与其他逻辑代数的关系
相容拟半连续Domain和相容交半连续Domain
MTL代数及由其MP滤子型商代数的局部有限性
2^n-布尔值逻辑：2-值命题逻辑的自然推广
关于命题逻辑系统中相似度性质的修正
L-抽象基与模糊Round理想完备化
Quantale模核映射与余核映射的关系
BR0代数中的＊理想及其诱导的商代数
命题逻辑系统R0L3n＋1中公式的Γ-真度及性质
WBR0-代数的Fuzzy蕴涵理想
W-代数偏序集及其性质
序半群上的S-拓扑
格中粗糙集的若干性质
Quantale的上粗理想
Quantic格的模糊理想
模糊软李子代数的概念和性质
反模糊软子群和伪模糊软子群
模糊正则语言的拓扑性质
m-半格的粗糙模糊理想
模糊Quantale范畴中的投射对象
Quantale代数核映射及其扩张
模糊S-偏序集的内射壳
连续定向完备序半群及其范畴性质
序半群的定向完备化
对合Quantale代数上的同余关系
期刊信息
  • 《数学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院数学研究院
  • 主编：李炳仁
  • 地址：北京市海淀区中关村东路55号
  • 邮编：100080
  • 邮箱：Actamath@amss.ac.cn
  • 电话：010-62551910
  • 国际标准刊号：ISSN：0583-1431
  • 国内统一刊号：ISSN：11-2038/O1
  • 邮发代号:2-502
  • 获奖情况:
  • 1996年中科院优秀科技期刊二等奖,1997年全国优秀科技期刊二等奖,2000年中科院优秀科技期刊二等奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9981