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 条
  • [41] ALPS - A LANGUAGE FOR PROCESS SPECIFICATION
    CATRON, BA
    RAY, SR
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1991, 4 (02) : 105 - 113
  • [42] The essence of the process specification language
    Schlenoff, C
    Gruninger, M
    Ciocoiu, M
    Lee, JT
    [J]. TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 1999, 16 (04): : 204 - 216
  • [43] The language LinF for fractal specification
    Pereira, FMQ
    Rolla, LT
    Rezende, CG
    Carceroni, RL
    [J]. XVI BRAZILIAN SYMPOSIUM ON COMPUTER GRAPHICS AND IMAGE PROCESSING, PROCEEDINGS, 2003, : 67 - 74
  • [44] A specification language for clinical algorithms
    Herrero, C
    Maojo, V
    Sanandres, JA
    Lopez, A
    Crespo, J
    Lazaro, P
    [J]. PROCEEDINGS OF THE 18TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOL 18, PTS 1-5, 1997, 18 : 2010 - 2011
  • [45] Towards a specification of the ToonTalk language
    Morgado, Leonel
    Kahn, Ken
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05): : 574 - 597
  • [46] The Ponder policy specification language
    Damianou, N
    Dulay, N
    Lupu, E
    Sloman, M
    [J]. POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, 1995 : 18 - 38
  • [47] Tracking by Natural Language Specification
    Li, Zhenyang
    Tao, Ran
    Gavves, Efstratios
    Snoek, Cees G. M.
    Smeulders, Arnold W. M.
    [J]. 30TH IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2017), 2017, : 7350 - 7358
  • [48] STRUCTURING FOR THE VDM SPECIFICATION LANGUAGE
    BEAR, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 2 - 25
  • [49] AN INTRODUCTION TO THE SPECIFICATION LANGUAGE SPEC
    BERZINS, V
    LUQI
    [J]. IEEE SOFTWARE, 1990, 7 (02) : 74 - 84
  • [50] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
12345