Improved method of synthesis of an automaton from its specification in the language L

Improved method of synthesis of an automaton from its specification in the language L

A modification of an algorithm for synthesis of an automaton from its logical specification is proposed. This algorithm is based on a procedure of splitting components of a disjunctive form. Improvements are aimed at decreasing the number of most complex procedures used during synthesis and at reduc...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2011-05, Vol.47 (3), p.335-345
Hauptverfasser: Timofeyev, V. G., Chebotarev, A. N.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Analysis
Artificial Intelligence
Automation
Complexity
Control
Cybernetics
Language
Logic programming
Mathematics
Mathematics and Statistics
Methods
Parallel processing
Processor Architectures
Robots
Semantics
Software Engineering/Programming and Operating Systems
Specifications
Splitting
Studies
Synthesis
Systems analysis
Systems Theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A modification of an algorithm for synthesis of an automaton from its logical specification is proposed. This algorithm is based on a procedure of splitting components of a disjunctive form. Improvements are aimed at decreasing the number of most complex procedures used during synthesis and at reducing the complexity of formulas processed by the procedures. Moreover, the modification enhances the natural parallelism of the algorithm.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-011-9316-4