TRANSFORMATION OF A LANGUAGE L* SPECIFICATION OF AN FSM INTO AN AUTOMATA EQUIVALENT SPECIFICATION IN THE LANGUAGE L

被引：0

作者：

Chebotarev, A. N. ^{[1
]}

机构：

[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine

来源：

CYBERNETICS AND SYSTEMS ANALYSIS | 2010年 / 46卷 / 04期

关键词：

specification language L*; there exists-formula; two-sided superword; Sigma-automaton; elimination of quantifiers; automata equivalence of specifications;

D O I：

10.1007/s10559-010-9234-x

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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

页数：9

共 50 条

[1] Transformation of a language L* specification of an FSM into an automata equivalent specification in the language L
A. N. Chebotarev
[J]. Cybernetics and Systems Analysis, 2010, 46 (4) : 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

← 1 2 3 4 5 →