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

V G Timofeyev,A N Chebotarev

doi:10.1007/s10559-011-9316-4

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

V G Timofeyev, A N Chebotarev

https://doi.org/10.1007/s10559-011-9316-4

Copy DOI

Journal: Cybernetics and systems analysis	Publication Date: May 1, 2011
Citations: 2

Affiliation: Taras Shevchenko National University of Kyiv

#Logical Specification #Complex Procedures + Show 5 more

Abstract
Full-Text PDF
Similar Papers

Abstract

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.

Full Text