STRUCTURAL EXPANSION OF FINITE AUTOMATA LEADING TO EFFICIENT CHECK EXPERIMENTS

被引：0
|
作者：
MARINOV, JP
IVANOV, BC
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1978年 / 02期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：13 / 18
页数：6
相关论文
共 50 条
  • [1] CYCLIC CHECK EXPERIMENTS WITH GROUP AUTOMATA
    Tolmachevskaya, L. A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2005, 41 (03) : 343 - 353
  • [2] On an expansion of nondeterministic finite automata
    Melnikov B.
    Journal of Applied Mathematics and Computing, 2007, 24 (1-2) : 155 - 165
  • [3] Efficient Emptiness Check for Timed Buchi Automata
    Herbreteau, Frederic
    Srivathsan, B.
    Walukiewicz, Igor
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 148 - 161
  • [4] Efficient emptiness check for timed Buchi automata
    Herbreteau, Frederic
    Srivathsan, B.
    Walukiewicz, Igor
    FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (02) : 122 - 146
  • [5] Preliminary experiments in hardcoding finite automata
    Ngassam, EK
    Watson, BW
    Kourie, DG
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2003, 2759 : 299 - 300
  • [6] ADJUSTMENT EXPERIMENTS WITH FINITE PROBABILISTIC AUTOMATA
    MAKAREVICH, LV
    MATEVOSYAN, AA
    AUTOMATION AND REMOTE CONTROL, 1972, 33 (08) : 1327 - 1330
  • [7] DELAYED DIAGNOSING EXPERIMENTS WITH FINITE AUTOMATA
    PLAKSIN, VA
    AUTOMATION AND REMOTE CONTROL, 1980, 41 (09) : 1321 - 1326
  • [8] Efficient emptiness check for timed Büchi automata
    Frédéric Herbreteau
    B. Srivathsan
    Igor Walukiewicz
    Formal Methods in System Design, 2012, 40 : 122 - 146
  • [9] SYNTHESIS OF AUTOMATA BY FINITE-SET OF EXPERIMENTS
    BOGOMOLOV, SA
    DOKLADY AKADEMII NAUK SSSR, 1985, 281 (01): : 20 - 22
  • [10] STATE-IDENTIFICATION EXPERIMENTS IN FINITE AUTOMATA
    GILL, A
    INFORMATION AND CONTROL, 1961, 4 (2-3): : 132 - &
12345