A DESCRIPTION OF AN AUTOMATA

被引：0
|
作者：
VAVILOV, YN
LOBANOV, LP
机构：
来源：
ENGINEERING CYBERNETICS | 1966年 / 03期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：332 / &
相关论文
共 50 条
  • [31] Discrete timed automata and MONA:: Description, specification and verification of a multimedia stream
    Gómez, R
    Bowman, H
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 177 - 192
  • [32] Reasoning in expressive description logics with fixpoints based on automata on infinite trees
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 84 - 89
  • [33] Self-description for construction and computation on graph-rewriting automata
    Tomita, Kohji
    Murata, Satoshi
    Kurokawa, Haruhisa
    ARTIFICIAL LIFE, 2007, 13 (04) : 383 - 396
  • [34] Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
    Delivorias, Stathis
    Hatzikirou, Haralampos
    Penaloza, Rafael
    Walther, Dirk
    CELLULAR AUTOMATA: 11TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY, 2014, 8751 : 357 - 366
  • [35] ERRORLESS DESCRIPTION WITH TWO RULES OF CELLULAR AUTOMATA FOR DIGITAL SOUND DATA
    Kuroiwa, Jousuke
    Nara, Shigetoshi
    INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2013, 23 (08):
  • [36] Reasoning with Prototypes in the Description Logic ALC Using Weighted Tree Automata
    Baader, Franz
    Ecke, Andreas
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 63 - 75
  • [37] Temporal-Impulse Description of Complex Images Based on Cellular Automata
    Belan, Stepan
    Belan, Nikolay
    PARALLEL COMPUTING TECHNOLOGIES (PACT 2013), 2013, 7979 : 291 - 295
  • [38] Modeling Embedded Applications: An Orderly Simplification of Finite State Automata Description
    Daniel Cohen, Eduardo
    Volentini, Esteban
    Gruer, Pablo
    2016 SEVENTH ARGENTINE SYMPOSIUM AND CONFERENCE ON EMBEDDED SYSTEMS (CASE), 2016, : 39 - 43
  • [39] DESCRIPTION AND MACHINE DECOMPOSITIONAL SYNTHESIS OF DIGITAL AUTOMATA WITH A LARGE NUMBER OF STATES
    TOPOLSKIY, NG
    ENGINEERING CYBERNETICS, 1979, 17 (03): : 95 - 105
  • [40] Autonomous Construction of Multiple Structures Using Learning Automata: Description and Experimental Validation
    Barros dos Santos, Sergio R.
    Givigi, Sidney N., Jr.
    Nascimento, Cairo L., Jr.
    IEEE SYSTEMS JOURNAL, 2015, 9 (04): : 1376 - 1387
12345