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 条
  • [1] LOGICAL CONDITION TABLES AND THEIR USE IN SYNTHESIZING CONTROL AUTOMATA
    SKLJAROV, VA
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1980, (03): : 36 - 41
  • [2] PROGRAMMABLE LSI CIRCUITRY AND LOGICAL STRUCTURES OF DIGITAL AUTOMATA.
    Aleksenko, A.G.
    Smirnov, V.B.
    Soviet Microelectronics (English Translation of Mikroelektronika), 1980, 9 (01): : 9 - 1
  • [3] SEQUENTIAL DESCRIPTION OF CONTROL AUTOMATA.
    Zakharov, V.N.
    Engineering Cybernetics (English translation of Tekhnicheskaya Kibernetika), 1972, 10 (02): : 290 - 293
  • [4] SOME NEW DATA ON LOGICAL DETERMINANTS AND THEIR APPLICATIONS TO DYNAMICS OF AUTOMATA.
    Levin, V.I.
    Automatic Control and Computer Sciences, 1980, 14 (05) : 12 - 20
  • [5] MICROPROCESSOR IMPLEMENTATION OF DIGITAL CONTROL AUTOMATA.
    Kagan, B.M.
    Novik, G.Kh.
    Persheev, B.G.
    Shamrov, M.I.
    Automatic Control and Computer Sciences, 1981, 15 (04) : 33 - 39
  • [6] Supervisory Control and Data Acquisition for Programmable Automata.
    Delafon, Patrick
    Electronique industrielle, 1985, (85): : 74 - 79
  • [7] USE OF GRAPHS FOR SYNTHESIZING FINITE AUTOMATA
    LVOVSKII, LS
    AUTOMATION AND REMOTE CONTROL, 1965, 26 (05) : 832 - &
  • [8] Control of (max, plus ) automata:logical and timing aspects
    Komenda, Jan
    Lahaye, Sebastien
    Boimond, Jean-Louis
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 55 - +
  • [9] Evaluation of uncertainty of control by measurement with logical conditions
    Dubovoi, Vladimir. M.
    Yukhymchuk, Maria S.
    Sawicki, Daniel
    Kotyra, Andrzej
    Abdreshova, Samal
    Orakbayev, Yerbol
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2016, 2016, 10031
  • [10] BLOCK CODING OF PARTIAL STATES OF AUTOMATA REALIZING PARALLEL LOGICAL CONTROL ALGORITHMS
    ZAKREVSKIY, AD
    ENGINEERING CYBERNETICS, 1983, 21 (05): : 11 - 18
12345