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

Level Set Structure of an Integrable Cellular Automaton
von: Takagi, T.
Veröffentlicht: (2010)

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

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

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

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

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

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

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

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

Biological peculiarities and structure of plant Zingeria biebersteiniana (Claus) P. Smirn. (Poaceae)
von: O. R. Nikiforov, et al.
Veröffentlicht: (2010)

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, M., et al.
Veröffentlicht: (2017)

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

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

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

Cellular-automaton energy model of earthquake sourc
von: V. E. Kulchitskij
Veröffentlicht: (2011)

Penalty clause as a means of securing the performance of obligations under the consumer work contract
von: O. M. Sytnik
Veröffentlicht: (2015)

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

Notion of &quot;pathological&quot; arbitration clause in international commercial arbitration
von: Ye. Prusenko
Veröffentlicht: (2013)

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

The Construction of an Automaton Model of Training in Computer-Based Training Environments
von: N. I. Khodakovskij, et al.
Veröffentlicht: (2016)

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

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)

Specifying two definitions in the classification of asyndetic composite sentence
von: S. I. Doroshenko
Veröffentlicht: (2014)

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

Some Remarks on Spectral Synthesis Sets
von: Joseph, J., et al.
Veröffentlicht: (2015)

Some Remarks on Spectral Synthesis Sets
von: J. Joseph, et al.
Veröffentlicht: (2015)

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

On mathematical modeling peculiarities of root square specified linear differential systems
von: V. A. Stoyan
Veröffentlicht: (2024)

&quot;Inner&quot; Rus in Contex of the Specifying the Borders
von: O. P. Motsia
Veröffentlicht: (2015)

Loop of hysteresis specified by a delay of irreversible shifting of domain boundaries
von: G. V. Bida
Veröffentlicht: (2012)

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

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

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

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

Specifying of elements the internal environment of the city and approaches to their evaluation in terms of territorial marketing
von: I. M. Budnikevych
Veröffentlicht: (2013)

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

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