Transformation of a language L* specification of an FSM into an automata equivalent specification in the language L

被引：0
|
作者：
A. N. Chebotarev
机构：
[1] National Academy of Sciences of Ukraine,Cybernetics Institute
来源：
Cybernetics and Systems Analysis | 2010年 / 46卷 / 4期
关键词：
specification language L*; ∃-formula; two-sided superword; Σ-automaton; elimination of quantifiers; automata equivalence of specifications;
D O I：
10.1007/s10559-010-9234-x
中图分类号：
学科分类号：
摘要：
A method is proposed to transform an FSM specification in the language L* into a specification in the language L. Using additional predicate symbols, the former specification is first transformed into a specification of an FSM with finite memory. Then this specification is transformed into an automata equivalent specification in the language L.
引用
收藏
页码：574 / 582
页数：8
相关论文
共 50 条
  • [1] TRANSFORMATION OF A LANGUAGE L* SPECIFICATION OF AN FSM INTO AN AUTOMATA EQUIVALENT SPECIFICATION IN THE LANGUAGE L
    Chebotarev, A. N.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 574 - 582
  • [2] Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
    Sun, Jun
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156): : 2 - 2
  • [3] CTL AgentSpeak(L): A specification language for agent programs
    Guerra-Hernandez, Alejandro
    Martin Castro-Manzano, Jose
    Seghrouchni, Amal El Fallah
    [J]. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (01): : 31 - 40
  • [4] Contract Automata: A Specification Language for Mode-Based Systems
    Weigl, Alexander
    Bachmeier, Joshua
    Ulbrich, Mattias
    Beckert, Bernhard
    [J]. PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 1 - 11
  • [5] IMPROVED METHOD OF SYNTHESIS OF AN AUTOMATON FROM ITS SPECIFICATION IN THE LANGUAGE L
    Timofeyev, V. G.
    Chebotarev, A. N.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2011, 47 (03) : 335 - 345
  • [6] Inductive synthesis of an automaton from its specification in the logical language L
    Kapitonova, YV
    Chebotarev, AN
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2000, 36 (06) : 793 - 801
  • [7] The specification language T
    Sunik, B
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (05) : 28 - 38
  • [8] Deep specification and proof preservation for the CoqTL transformation language
    Zheng Cheng
    Massimo Tisi
    [J]. Software and Systems Modeling, 2022, 21 : 1831 - 1852
  • [9] SEMANTICS OF A HARDWARE SPECIFICATION LANGUAGE AND RELATED TRANSFORMATION RULES
    LARSSON, T
    [J]. INTEGRATION-THE VLSI JOURNAL, 1987, 5 (02) : 145 - 158
  • [10] Deep specification and proof preservation for the CoqTL transformation language
    Cheng, Zheng
    Tisi, Massimo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (05): : 1831 - 1852
12345