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 a combined automaton with ASIC
von: A. A. Barkalov, et al.
Veröffentlicht: (2020)

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

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

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)

Detecting fictitious states in a &amp;Sigma;-automaton synthesized from the specification in the language LP
von: A. N. Chebotarev
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)

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

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

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)

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

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

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

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

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)

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

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)

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

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

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

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

Изменение некоторых морфологических признаков в онтогенезе у калянуса гельголандского — Calanus helgolandicus Claus (Crustacea, Copepoda)
von: Ковалев, А.В.
Veröffentlicht: (1969)

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

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)

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

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: Z. Merdan, et al.
Veröffentlicht: (2011)