有限自动机RTL描述的一种有效逻辑转换被引量：1

AN EFFECTIVE LOGIC TRANSFORM FOR THE FINITE AUTOMATON RTL DESCRIPTION

下载PDF

导出

摘要本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达式。 1.预处理为了进行这种转换必须做如下的准备工作。 (1) 为M的RTL程序中的各个语句指定命令字。命令字是语句执行的条件。

作者袁永昇

机构地区东北师范大学物理系

出处《计算机学报》 EI CSCD 北大核心 1990年第6期470-474,共5页 Chinese Journal of Computers

关键词有限自动机 RTL描述逻辑转换

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献3

1袁永升，东北师大学报，1989年，2期
2曾光--，计算机学报，1982年，5卷，5期
3陶仁骥，有限自动机的可逆性，1979年

同被引文献8

1韩进,程勇.有限状态机的VHDL设计[J].辽宁工程技术大学学报（自然科学版）,2005,24(2):246-249. 被引量：1
2李平,李永明.几类格值自动机的关系[J].模糊系统与数学,2005,19(3):96-100. 被引量：7
3周平,姜明,徐扬.基于格值命题逻辑系统LP(X)的不确定性推理[J].四川师范大学学报（自然科学版）,2006,29(5):509-511. 被引量：3
4冯文俊,易忠,邓培民.状态机和变换半群积的覆盖关系[J].广西师范大学学报（自然科学版）,2007,25(1):26-29. 被引量：6
5阎航宇,易忠,邓培民.有限群自动机的若干环论与图论性质[J].广西师范大学学报（自然科学版）,2007,25(1):30-33. 被引量：3
6姚兴华,邓培民,易忠.弱可逆有限自动机分解的一个结果[J].广西师范大学学报（自然科学版）,2008,26(1):31-33. 被引量：3
7刘益,闵兰.确定有限自动机的逻辑形式定义[J].西南师范大学学报（自然科学版）,2008,33(5):134-136. 被引量：5
8朱征宇,朱庆生.有限自动机研究的矩阵模型方法[J].计算机科学,2001,28(4):46-48. 被引量：37

引证文献1

1刘益,闵兰,李生林,高黎.确定有限自动机的矩阵形式[J].四川师范大学学报（自然科学版）,2009,32(4):447-449. 被引量：3

二级引证文献3

1韩光辉,曾诚.右线性文法与有限自动机等价性的一个新证明[J].电脑与信息技术,2012,20(1):1-4.
2王芳,秦永彬,许道云.有限随机系统的极限概率分解[J].贵州大学学报（自然科学版）,2013,30(2):55-59.
3王芳,秦永彬,许道云.有限随机系统的极限性质[J].计算机应用与软件,2014,31(3):235-238.

1付扬,杨旭,田雪.VHDL语言在寄存器描述中两个局限性的探讨[J].控制工程,2003,10(3):279-281.
2林瑶.使用VHDL语言中几个常见问题的探讨[J].微计算机信息,2004,20(9):136-137. 被引量：6
3包敬海,黄安甲.基于Multisim结合编程设计复杂逻辑电路[J].钦州学院学报,2007,22(3):63-66. 被引量：2
4时青.VHDL语言中建模方式及其在数字电路教学中的应用[J].山西电子技术,2005(1):15-17.
5陈洁,陈宇宁,庞寿全,吕集尔.组合逻辑电路的设计和仿真[J].中国科技信息,2006(8):182-183. 被引量：1
6时青.VHDL语言中建模方式及其在数字电路教学中的应用[J].现代电子工程,2005(3):88-93.
7兰羽,周茜.逻辑转换仪在教学中的应用[J].山西电子技术,2005(3):24-25.
8李植青.形象思维向逻辑思维的转化[J].中国教育技术装备,2012(26):101-101.
9石永华,华磊.一种基于PC全软件多轴运动控制器的实现和测试[J].机床与液压,2014,42(21):71-74. 被引量：3
10邓江涛,傅煊.双口RAM在PCI总线与AVR接口设计中的应用[J].现代电子技术,2011,34(18):97-100. 被引量：1

计算机学报

1990年第6期

浏览历史

内容加载中请稍等...

有限自动机RTL描述的一种有效逻辑转换被引量：1

参考文献3

同被引文献8

引证文献1

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

有限自动机RTL描述的一种有效逻辑转换 被引量：1

参考文献3

同被引文献8

引证文献1

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

有限自动机RTL描述的一种有效逻辑转换被引量：1