搜索筛选:
搜索耗时0.9286秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：雷红轩,
来源：汉中师范学院学报(自然科学) 年份：2004
提出了具有输出字符功能的格值自动机的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取格半群的代数性质的紧密联系,得到了许多重要结果....
[期刊论文] 作者：雷红轩,
来源：内江师范学院学报 年份：2004
在格值有限状态自动机(简称为LFSA)理论的基础上,给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念,通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质,讨...
[期刊论文] 作者：盛莉, 雷红轩,
来源：汉中师范学院学报 年份：2004
给出了格值文法的定义与分类,对格值正则文法与自动机的关系作了详细讨论,得出了两个重要的结论,即:由给定的格值正则文法可以构造一个格值自动机使二者接受的语言集相同;反...
[期刊论文] 作者：雷红轩,李永明,
来源：计算机工程与应用 年份：2004
在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此两类自动机和取分配格的代数性质的紧密联系；......
[会议论文] 作者：薛艳,李永明,雷红轩,
来源：2011年全国理论计算机科学学术年会 年份：2004
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与...
相关搜索：
