TABLES OF LOGICAL CONDITIONS AND THEIR USE IN SYNTHESIZING CONTROL AUTOMATA.

被引：0
|
作者：
Sklyarov, V.A.
机构：
来源：
Automatic Control and Computer Sciences | 1980年 / 14卷 / 03期
关键词：
AUTOMATA THEORY - Finite Automata;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Reduction functions are specified for a control automaton that take account of the effects of micro-operations on logical conditions, in the language of special tables of logical conditions. It is shown how the use of these tables makes it possible to obtain additional information to simplify the excitation functions of the control automaton and to check the correctness of the microprograms implemented by them.
引用
收藏
页码：32 / 37
相关论文
共 50 条
12345