Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L to the language L

A method for synthesizing an FSM from its specification in the logical language L* is considered. The method is based on translating such a specification into the less expressive language L and applying an available method for synthesizing the sought-for FSM from the specification in this language....

Full description

Saved in:
Bibliographic Details
Published in:Cybernetics and systems analysis 2013, Vol.49 (1), p.1-6
Main Author: Chebotarev, A. N.
Format: Article
Language:English
Subjects:
Algorithms
Artificial Intelligence
Computer science
Control
Cybernetics
Language
Mathematical analysis
Mathematics
Mathematics and Statistics
Processor Architectures
Programming languages
Redundant
Software Engineering/Programming and Operating Systems
Specifications
Studies
Synthesis
Systems analysis
Systems Theory
Translating
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A method for synthesizing an FSM from its specification in the logical language L* is considered. The method is based on translating such a specification into the less expressive language L and applying an available method for synthesizing the sought-for FSM from the specification in this language. The resulting FSM may contain redundant states that are called fictitious and must be eliminated. A simple method for checking states for fictitiousness is proposed.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-013-9478-3