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 条
  • [41] ALGORITHMS FOR MINIMIZATION OF FINITE ACYCLIC AUTOMATA AND PATTERN-MATCHING IN TERMS
    KRIVOI, SL
    CYBERNETICS, 1991, 27 (03): : 324 - 331
  • [42] ALGORITHMS FOR THE INVERSE AND A GENERALIZATION OF THE STATE-SPACE APPROACH TO FINITE AUTOMATA
    YANG, CC
    HUANG, H
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (01): : 59 - 76
  • [43] ALGORITHMS AND AUTOMATA
    CROCHEMORE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 386 : 168 - 175
  • [44] Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard
    Keroglou, Christoforos
    Hadjicostis, Christoforos N.
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6712 - 6717
  • [45] An extended deterministic finite automata based method for the verification of composite Web services
    Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China
    Ruan Jian Xue Bao, 2007, 12 (2980-2990):
  • [46] ALGORITHMS AND AUTOMATA
    CROCHEMORE, M
    FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, 1989, 386 : 168 - 175
  • [47] Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
    Baumeister, Tom
    Eichler, Paul
    Jacobs, Swen
    Sakr, Mouhammad
    Volp, Marcus
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 638 - 657
  • [48] RELATIONSHIP BETWEEN NOTIONS OF SOLVABILITY AND COUNTABILITY FOR FINITE AUTOMATA
    KORPELEV.GM
    DOKLADY AKADEMII NAUK SSSR, 1963, 149 (05): : 1023 - &
  • [49] ALGORITHMS AND DATA STRUCTURES FOR THE MODELLING OF DYNAMICAL SYSTEMS BY MEANS OF STOCHASTIC FINITE AUTOMATA
    Logozar, Robert
    TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2012, 19 (02): : 227 - 242
  • [50] Finite Automata Based Algorithms for the Generalized Constrained Longest Common Subsequence Problems
    Farhana, Effat
    Ferdous, Jannatul
    Moosa, Tanaeem
    Rahman, M. Sohel
    STRING PROCESSING AND INFORMATION RETRIEVAL, 2010, 6393 : 243 - 249
12345