Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Chebotarev, A.N.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/12
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

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

Synthesis of a combined automaton with ASIC
von: A. A. Barkalov, et al.
Veröffentlicht: (2020)

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

Synthesis of a Four-Level Schema of a Combined Automaton
von: O. O. Barkalov, et al.
Veröffentlicht: (2019)

On the orbits of automaton semigroups and groups
von: D'Angeli, D., et al.
Veröffentlicht: (2022)

Finite automaton actions of free products of groups
von: M. Fedorova, et al.
Veröffentlicht: (2017)

Finite automaton actions of free products of groups
von: Fedorova, Mariia, et al.
Veröffentlicht: (2017)

Cell-automaton energy model of the earthquake focus
von: Kulchytskyi, V. E.
Veröffentlicht: (2011)

Optimization of the Mealy Automaton Circuit in the FPGA Basis
von: O. O. Barkalov, et al.
Veröffentlicht: (2022)

Optimizing the scheme of a combined automaton in the ASIC basis
von: A. A. Barkalov, et al.
Veröffentlicht: (2020)

Composition and properties of data specified in compositional schemes of algorithms
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Optimization of division of area on subarias under specified limitations in space
von: V. M. Komjak, et al.
Veröffentlicht: (2020)

Specifying the process parameters for diamond dressing of grinding wheels
von: Ya. O. Shakhbazov, et al.
Veröffentlicht: (2019)

Differential operators specifying the solution of an elliptictype iterated equation
von: I. M. Aleksandrovych, et al.
Veröffentlicht: (2019)

Optimization of a Moore Automaton Circuit in a Mixed Element Basis
von: O. O. Barkalov, et al.
Veröffentlicht: (2022)

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
von: A. N. Chebotarev
Veröffentlicht: (2017)

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

Extension of the program synthesis system to analyze large data sets
von: Ovdii, O.M.
Veröffentlicht: (2018)

Qualification features of the circumstances introducing activity for protection of the paragraph &quot;B&quot; clause 3 article 35 of the convention for the protection of human rights and fundamental freedoms
von: L. Deshko
Veröffentlicht: (2019)

Extension of the program synthesis system to analyze large data sets
von: O. M. Ovdii
Veröffentlicht: (2018)

Performance of hydraulic testing of piping of heat networks to achieve the specified reliability of their operation
von: V. M. Torop
Veröffentlicht: (2022)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)

Constructing a -&amp;omega;-regular expression specified by an elementary extensions graph
von: A. M. Chebotarov
Veröffentlicht: (2022)

On the Directional Movement of a Graph Walking Automaton without a Compass on Infinite Path Graph
von: S. V. Sapunov
Veröffentlicht: (2017)

The Theoretical Foundations of Enhancing the Degree of Survivability of the Fuzzy Network of Airports up to the Specified Level
von: T. I. Oleshko, et al.
Veröffentlicht: (2017)

Development of Mathematical Apparatus of the Expert System for Modelling Ice Cream Recipes with Specified Quality Parameters
von: N. M. Breus, et al.
Veröffentlicht: (2019)

Discrepancy parameters of approximations of discretely specified dependencies by analytical functions and search criteria for optimal values of their coefficients
von: N. A. Shydlovska, et al.
Veröffentlicht: (2021)

Computer Models for Mode Control of Electric Current Treatment of Melts at Specified Quality Criteria for Cast Products. Part 1
von: Ju. M. Zaporozhets, et al.
Veröffentlicht: (2020)

Computer Models for Mode Control of Electric Current Treatment of Melts at Specified Quality Criteriafor Cast Products. P. II
von: Ju. M. Zaporozhets, et al.
Veröffentlicht: (2020)

Specifi cation of Thematic Communications between Subject Rubrics of the Electronic Library &quot;Ukrainica&quot;
von: K. Lobuzina, et al.
Veröffentlicht: (2019)

STABILITY AND ACCURACY OF THE ROBUST SYSTEM FOR STABILIZING THE ROTOR FLUX-LINKAGE OF AN ASYNCHRONOUS ELECTRIC DRIVE AT RANDOM VARIATIONS OF THE UNCERTAIN PARAMETERS WITHIN THE SPECIFIED BOUNDARIES
von: Khlopenko, I. N., et al.
Veröffentlicht: (2018)

Software for settlement and choice of setting of the phase selector setting with load sector
von: N. F. Kolesnykova, et al.
Veröffentlicht: (2019)

Building and research of operator approximation of functions of two variables with preservation of class Cr(R2) for traces of derivatives to a fixed order in the specified line
von: Сергієнко, І. В., et al.
Veröffentlicht: (2016)

Building and research of operator approximation of functions of two variables with preservation of class Cr(R2) for traces of derivatives to a fixed order in the specified line
von: Сергієнко, І. В., et al.
Veröffentlicht: (2016)

About Symmetry of the Combinatorial Sets
von: N. K. Tymofiieva
Veröffentlicht: (2017)

Fatou and Julia like sets
von: K. S. Charak, et al.
Veröffentlicht: (2021)

Topologies on the n-element set that consistent with close to the discrete topologies on (n − 1)-element set
von: P. H. Stiehantseva, et al.
Veröffentlicht: (2021)

On weakly m-convex sets
von: Kh. K. Dakkhil, et al.
Veröffentlicht: (2017)

Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)