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 条
  • [31] Partition-refining algorithms for learning finite state automata
    Elomaa, T
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 232 - 243
  • [32] Constructive Formal Conversion of Moore Machine to Deterministic Finite Automata
    Riaz, Shagufta
    Zafar, Nazir Ahmad
    MATHEMATICAL METHODS, COMPUTATIONAL TECHNIQUES, NON-LINEAR SYSTEMS, INTELLIGENT SYSTEMS, 2008, : 59 - +
  • [33] Compositional non-blockingness verification of finite automata with prioritised events
    Tang, Yiheng
    Moor, Thomas
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2024, 34 (01): : 125 - 161
  • [34] Compositional non-blockingness verification of finite automata with prioritised events
    Yiheng Tang
    Thomas Moor
    Discrete Event Dynamic Systems, 2024, 34 : 125 - 161
  • [35] Safety verification for two-way finite automata with monotonic counters
    Ibarra, OH
    Dang, Z
    Sun, ZW
    DEVELOPMENTS IN LANGUAGE THEORY, 2003, 2450 : 326 - 338
  • [36] Verification of EPCs Based on the Finite State Automata and State-space
    Guo, Qinglei
    Yao, Qing
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 8333 - 8338
  • [37] AUTOMATA AND FINITE AUTOMATA
    LEE, CY
    BELL SYSTEM TECHNICAL JOURNAL, 1960, 39 (05): : 1267 - 1295
  • [38] Conversions Between Six Models of Finite Automata
    Hospodar, Michal
    Jiraskova, Galina
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2024,
  • [39] Equivalence between Mizumoto Lattice Finite Automata
    Wang, Yang
    Mo, Zhi-wen
    FUZZY INFORMATION AND ENGINEERING, VOL 1, 2009, 54 : 33 - 37
  • [40] ON THE RELATION BETWEEN AMBIGUITY AND NONDETERMINISM IN FINITE AUTOMATA
    GOLDSTINE, J
    LEUNG, H
    WOTSCHKE, D
    INFORMATION AND COMPUTATION, 1992, 100 (02) : 261 - 270
12345