The verification of conversion algorithms between finite automata

被引：0
|
作者：
Dongchen Jiang
Wei Li
机构：
[1] Beijing Forestry University,School of Information Science & Technology
[2] Beihang University,State Key Laboratory of Software Development Environment
来源：
Science China Information Sciences | 2018年 / 61卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] The verification of conversion algorithms between finite automata
    Dongchen JIANG
    Wei LI
    Science China(Information Sciences), 2018, 61 (02) : 243 - 256
  • [2] The verification of conversion algorithms between finite automata
    Jiang, Dongchen
    Li, Wei
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (02)
  • [3] Unconventional Finite Automata and Algorithms
    Balodis, Kaspars
    BALTIC JOURNAL OF MODERN COMPUTING, 2016, 4 (03): : 561 - 582
  • [4] Antichain Algorithms for Finite Automata
    Doyen, Laurent
    Raskin, Jean-Francois
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 2 - +
  • [5] Verification of detectability in Probabilistic Finite Automata
    Keroglou, Christoforos
    Hadjicostis, Christoforos N.
    AUTOMATICA, 2017, 86 : 192 - 198
  • [6] Timed Automata Verification and Synthesis via Finite Automata Learning
    Sankur, Ocan
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 329 - 349
  • [7] Parallel algorithms for finite automata problems
    Ravikumar, B
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 373 - 373
  • [8] An automata-theoretic approach to the verification of distributed algorithms
    Aiswarya, C.
    Bollig, Benedikt
    Gastin, Paul
    INFORMATION AND COMPUTATION, 2018, 259 : 305 - 327
  • [9] Advances on algorithms for problems of resetting finite automata
    Zhu K.
    Wu G.
    Liang Z.
    Yuan M.
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2021, 49 (02): : 20 - 27
  • [10] Algorithms for Weighted Finite Automata with Failure Transitions
    Allauzen, Cyril
    Riley, Michael D.
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, 2018, 10977 : 46 - 58
12345