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 条
  • [31] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [32] A LANGUAGE CONSTRUCT FOR THE SPECIFICATION OF DISCONTINUITIES
    JAVEY, S
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (05) : 409 - 417
  • [33] Interpretable program specification language
    F. A. Novikov
    V. B. Novoseltsev
    [J]. Programming and Computer Software, 2010, 36 : 48 - 57
  • [34] THE VIP VDM SPECIFICATION LANGUAGE
    MIDDELBURG, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 187 - 201
  • [35] FUNZ - AN INTERMEDIATE SPECIFICATION LANGUAGE
    SHERRELL, LB
    CARVER, DL
    [J]. COMPUTER JOURNAL, 1995, 38 (03): : 193 - 206
  • [36] Reflections on the design of a specification language
    Kahrs, S
    Sannella, D
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 154 - 170
  • [37] LEARN LANGUAGE OF MIXER SPECIFICATION
    REYNOLDS, JF
    ROSENZWEIG, MR
    [J]. MICROWAVES, 1978, 17 (05): : 72 - &
  • [38] PROSPER - A LANGUAGE FOR SPECIFICATION BY PROTOTYPING
    LESZCZYLOWSKI, J
    BIEMAN, JM
    [J]. COMPUTER LANGUAGES, 1989, 14 (03): : 165 - 180
  • [39] A Controlled Language for the Specification of Contracts
    Pace, Gordon J.
    Rosner, Michael
    [J]. CONTROLLED NATURAL LANGUAGE, 2010, 5972 : 226 - +
  • [40] ALPS - A LANGUAGE FOR PROCESS SPECIFICATION
    CATRON, BA
    RAY, SR
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1991, 4 (02) : 105 - 113
12345