OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

确定有限自动机的矩阵形式

, PP. 447-449

Full-Text Cite this paper Add to My Lib

Abstract:

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.

References

[1]	韩进,程勇. 有限状态机的VHDL设计\[J\]. 辽宁工程技术大学学报,2005,24(2):246249.
[2]	李平,李永明. 几类格值自动机的关系\[J\]. 模糊系统与数学,2005,19(3):96100.
[3]	周平,姜明,徐扬. 基于格值命题逻辑系统LP(X)的不确定性推理\[J\]. 四川师范大学学报:自然科学版,2006,29(5):509511.
[4]	Even S. On information lossless automata of finite order\[J\]. IEEE Trans Electronic Computers,1965,14(4):561569.
[5]	朱征宇,朱庆生. 有限自动机研究的矩阵模型方法\[J\]. 计算机科学,2001,28(4):4648.
[6]	袁永昇. 有限自动机RTL描述的一种有效逻辑转换\[J\]. 计算机学报,1990,13(6):470474.
[7]	阎航宇,易忠,邓培民. 有限群自动机的若干环论与图论性质\[J\]. 广西师范大学学报:自然科学版,2007,25(1):3033.
[8]	姚兴华,邓培民,易忠. 弱可逆有限自动机分解的一个结果\[J\]. 广西师范大学学报:自然科学版,2008,26(1):3133.
[9]	冯文俊,易忠,邓培民. 状态机和变换半群积的覆盖关系\[J\]. 广西师范大学学报:自然科学版,2007,25(1):2629.
[10]	Seshu S, Miller R E, Metze G. Transition matrices of sequential machines\[J\]. IRE Trans Circuit Theory,1959,6(3):512.
[11]	Willsky A S. OntheInvariability of linear systems\[J\]. IEEE Trans Automata Control,1974,19(3):272274.
[12]	刘益,闵兰. 确定有限自动机的逻辑形式定义\[J\]. 西南师范大学学报:自然科学版,2008,33(5):134137.

Contact Us

service@oalib.com

WhatsApp +8615387084133