有穷自动机

作品数:105被引量:225H指数:8
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:李永明周清雷李翰芳罗海丽李平更多>>
相关机构:陕西师范大学贵州大学郑州大学哈尔滨工业大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划贵州省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与科学x
条 记 录,以下是1-4
视图:
排序:
几类带空转移的n元伪加权自动机的关系
《计算机工程与科学》2022年第2期364-371,共8页赵路瑶 王海辉 李平 
引入了n元伪加权有穷自动机——带有n个有限字符集的伪加权有穷自动机、分明型n元伪加权有穷自动机和确定型n元伪加权有穷自动机的概念。根据状态转移函数在每个字符集上是否带空转移,将以上自动机分为4类:带r-型空转移的n元伪加权有穷...
关键词:伪半环 n元伪加权有穷自动机 状态转移函数 空转移 关系 
加权有穷自动机的代数性质被引量:3
《计算机工程与科学》2014年第11期2186-2190,共5页张丽霞 
安庆师范学院青年科研基金项目(KJ201214);安徽省优秀青年人才基金项目(2011SQRL097)
在加权有穷自动机理论基础上,利用强同态的概念,证明两个加权有穷自动机在计算能力上是等价的,并在加权有穷自动机的状态集上建立一种等价关系,得到加权有穷自动机的商自动机,证明加权有穷自动机与其商自动机在计算能力上也是等价的。...
关键词:形式幂级数 加权有穷自动机 同态 强连通 
UML2.0顺序图的一种有穷自动机模型被引量:3
《计算机工程与科学》2008年第12期118-121,141,共5页刘传会 戎玫 张广泉 
江苏省高校自然科学研究项目(08KJB520010);重庆市自然科学基金资助项目(2006BB2259)
为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序...
关键词:UML2.0顺序图 UPPAAL 有穷自动机 时间自动机 
一种改进的统计与后串最大匹配的中文分词算法研究被引量:7
《计算机工程与科学》2008年第8期79-82,共4页吴涛 张毛迪 陈传波 
国家863计划资助项目(2006AA04Z131)
在比较各种传统分词方法优缺点的基础上,本文提出了一种新的分词算法。它采用改进的双向Markov链统计方法对词库进行更新,再利用基于词典的有穷自动机后串最大匹配算法以及博弈树搜索算法进行分词。实验结果表明,该分词算法在分词准确...
关键词:正向最大前串匹配 逆向最大前串匹配 统计法 有穷自动机 
检索报告 对象比较 聚类工具 使用帮助 返回顶部