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

  • Authors:

  • V. G. Timofeyev;A. N. Chebotarev

  • Affiliations:

  • Taras Shevchenko National University of Kiev, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine

  • Venue:
  • Cybernetics and Systems Analysis
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

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.