位置：成果数据库 > 期刊 > 期刊详情页
加权自动机的极小确定化
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：陕西师范大学数学与信息科学学院,陕西西安710119
  • 相关基金：国家自然科学基金资助项目（11271237,61228305）;教育部博士点基金资助项目（200807180005）
作者： 庞美玲, 李永明
关键词： 可消d-半环, 加权自动机, 完备极小确定化, 完备极小化算法, Cancellative d-semiring, Weighted Automaton, Complete Minimal Determinization, CompleteMinimal Algorithm
中文摘要：

本文给出了可消d-半环上加权自动机的极小确定化算法及其证明。通过定义加权自动机的等价状态，利用状态集上的等价关系和极大分解给出了可消d-半环上加权自动机的完备极小确定化算法，并给出了该算法的详细证明。

英文摘要：

The minimal deterministic algorithm of weighted automata and its proof on the cancellative d-semiring are given in this paper. Through the equivalent relation on states of weighted automata and maximal factorization, the complete minimal deterministic algorithm of weighted automata is given, including its proof in detail.

同期刊论文项目
空间知识的定性表示与推理研究
期刊论文 27 会议论文 1
把不确定性用半环来描述的计算模型、理论及其应用研究
期刊论文 27
同项目期刊论文
基于Mealy机的藏文字构件分解
软d-代数中几类算子的性质
藏语语音合成单元选择
线性时序逻辑基于DTMC的计量化方法
半环诱导赋值代数的轮廓解
转移函数保半环赋值代数轮廓解的条件
取值于赋值幺半群的加权上下文无关文法及其语言
模糊正则语言的拓扑性质
可逆加权树自动机
约束半环诱导的赋值代数的轮廓解及其算法
模糊Büchi自动机的等价刻画
开放量子行走：概率分布与中心极限定理
否定知识的代数表示及在模糊系统设计中的应用
Exogenous量子马尔可夫链及其可达性分析
量子最弱自由前置条件的交换性及其性质
量子Müller自动机与单体二阶量子逻辑
基于软集的无标记信息代数模型与算法
Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy
Remark on the One-Way Quantum Deficit for General Two-Qubit States
Reducible Discord in Generic Three-Qubit Pure W States
广义量子Loop程序的若干性质
可能性测度下计算树逻辑的若干性质
格值模糊自动机及对应语言的分级
量子马尔可夫链安全性模型检测
量子测量逻辑与推理理论
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
<b>The Quintuple Implication Principle of fuzzy reasoning</b>
The universal fuzzy automaton
Computation tree logic model checking based on possibility measures
Qualitative constraint satisfaction problems: An extended framework with landmarks
<h3 style="margin-left:36.0pt;text-indent:-18.0pt;"> Realizing RCC8 networks using
<b>Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial
Model checking of linear-time properties based on possibility measure
<strong>A complete classification of spatial relations using the Voronoi-based 9-intersection
<b><span style="color:#222222;">Cardinal directions: A comparison of direction
半环诱导赋值代数的轮廓解
取值于赋值幺半群的加权上下文无关文法及其语言
可逆加权树自动机
约束半环诱导的赋值代数的轮廓解及其算法
开放量子行走：概率分布与中心极限定理
Exogenous量子马尔可夫链及其可达性分析
量子最弱自由前置条件的交换性及其性质
基于软集的无标记信息代数模型与算法
Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy
Remark on the One-Way Quantum Deficit for General Two-Qubit States
直觉模糊测度的计算树逻辑
Reducible Discord in Generic Three-Qubit Pure W States
广义量子Loop程序的若干性质
可能性测度下计算树逻辑的若干性质
格值模糊自动机及对应语言的分级
量子马尔可夫链安全性模型检测
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133