Cover Image

Synthesis of an automaton specified by the set of clauses

An approach to synthesis of an automaton specified by the logical formula in the conjunctive normal form (c.n.f.) is proposed. Although this approach exploits the method for synthesis of an automaton from the specification represented in the disjunctive normal form (d.n.f.), the synthesis is carried...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Author:	Chebotarev, A.N.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/12
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Synthesis of a combined automaton with ASIC
by: A. A. Barkalov, et al.
Published: (2020)

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
by: A. N. Chebotarev
Published: (2018)

Level Set Structure of an Integrable Cellular Automaton
by: Takagi, T.
Published: (2010)

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
by: A. N. Chebotarev
Published: (2017)

Automaton extensions of mappings on the set of words defined by finite Mealy automata
by: Osys, M.
Published: (2005)

Synthesis of a Four-Level Schema of a Combined Automaton
by: O. O. Barkalov, et al.
Published: (2019)

Detecting fictitious states in a &amp;Sigma;-automaton synthesized from the specification in the language LP
by: A. N. Chebotarev
Published: (2019)

Method of manufacturing sets of permeable elements with specified throughput capacity for capillary control leaks
by: A. V. Shulzhenko, et al.
Published: (2011)

On the orbits of automaton semigroups and groups
by: D'Angeli, D., et al.
Published: (2022)

Biological peculiarities and structure of plant Zingeria biebersteiniana (Claus) P. Smirn. (Poaceae)
by: O. R. Nikiforov, et al.
Published: (2010)

Finite automaton actions of free products of groups
by: M. Fedorova, et al.
Published: (2017)

Finite automaton actions of free products of groups
by: Fedorova, M., et al.
Published: (2017)

Optimization of the Mealy Automaton Circuit in the FPGA Basis
by: O. O. Barkalov, et al.
Published: (2022)

Cell-automaton energy model of the earthquake focus
by: Kulchytskyi, V. E.
Published: (2011)

Finite automaton actions of free products of groups
by: Fedorova, Mariia, et al.
Published: (2017)

Cellular-automaton energy model of earthquake sourc
by: V. E. Kulchitskij
Published: (2011)

Penalty clause as a means of securing the performance of obligations under the consumer work contract
by: O. M. Sytnik
Published: (2015)

Биоэкологические особенности и структура растений Zingeria biebersteiniana (Claus) P. Smirn. (Poaceae)
by: Никифоров, А.Р., et al.
Published: (2010)

Notion of &quot;pathological&quot; arbitration clause in international commercial arbitration
by: Ye. Prusenko
Published: (2013)

Optimizing the scheme of a combined automaton in the ASIC basis
by: A. A. Barkalov, et al.
Published: (2020)

The Construction of an Automaton Model of Training in Computer-Based Training Environments
by: N. I. Khodakovskij, et al.
Published: (2016)

Solution the routing problem by modified ant-cellular automaton algorithm
by: V. V. Zhykharevych, et al.
Published: (2016)

Differential operators specifying the solution of an elliptictype iterated equation
by: Aleksandrovich, I. N., et al.
Published: (2019)

Composition and properties of data specified in compositional schemes of algorithms
by: Akulovsky, V.G., et al.
Published: (2025)

Optimization of division of area on subarias under specified limitations in space
by: V. M. Komjak, et al.
Published: (2020)

Specifying the process parameters for diamond dressing of grinding wheels
by: Ya. O. Shakhbazov, et al.
Published: (2019)

Specifying two definitions in the classification of asyndetic composite sentence
by: S. I. Doroshenko
Published: (2014)

Differential operators specifying the solution of an elliptictype iterated equation
by: I. M. Aleksandrovych, et al.
Published: (2019)

Optimization of a Moore Automaton Circuit in a Mixed Element Basis
by: O. O. Barkalov, et al.
Published: (2022)

Finite-dimensionality and growth of algebras specified by polylinearly interrelated generators
by: Redchuk, I. K., et al.
Published: (2005)

Some Remarks on Spectral Synthesis Sets
by: Joseph, J., et al.
Published: (2015)

Some Remarks on Spectral Synthesis Sets
by: J. Joseph, et al.
Published: (2015)

Some Remarks on Spectral Synthesis Sets
by: Joseph, J., et al.
Published: (2015)

On mathematical modeling peculiarities of root square specified linear differential systems
by: V. A. Stoyan
Published: (2024)

&quot;Inner&quot; Rus in Contex of the Specifying the Borders
by: O. P. Motsia
Published: (2015)

Loop of hysteresis specified by a delay of irreversible shifting of domain boundaries
by: G. V. Bida
Published: (2012)

Optimal methods for specifying information in the solution of integral equations with analytic kernels
by: Azizov, M., et al.
Published: (1996)

New Automaton-Game Theory Method for Modeling of Reliability and Flexibility Valuation for CAD-CAM Systems
by: Harbarchuk, V., et al.
Published: (2011)

Finite-size scaling relations of the four-dimensional Ising model on the Creutz cellular automaton
by: Merdan, Z., et al.
Published: (2011)

Finite-size scaling relations of the four-dimensional Ising model on the Creutz cellular automaton
by: Z. Merdan, et al.
Published: (2011)