Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2015
Автор:	Chebotarev, A.N.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/12
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Synthesis of a combined automaton with ASIC
за авторством: A. A. Barkalov, та інші
Опубліковано: (2020)

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018)

Level Set Structure of an Integrable Cellular Automaton
за авторством: Takagi, T.
Опубліковано: (2010)

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017)

Automaton extensions of mappings on the set of words defined by finite Mealy automata
за авторством: Osys, M.
Опубліковано: (2005)

Synthesis of a Four-Level Schema of a Combined Automaton
за авторством: O. O. Barkalov, та інші
Опубліковано: (2019)

Detecting fictitious states in a &amp;Sigma;-automaton synthesized from the specification in the language LP
за авторством: A. N. Chebotarev
Опубліковано: (2019)

Method of manufacturing sets of permeable elements with specified throughput capacity for capillary control leaks
за авторством: A. V. Shulzhenko, та інші
Опубліковано: (2011)

On the orbits of automaton semigroups and groups
за авторством: D'Angeli, D., та інші
Опубліковано: (2022)

Biological peculiarities and structure of plant Zingeria biebersteiniana (Claus) P. Smirn. (Poaceae)
за авторством: O. R. Nikiforov, та інші
Опубліковано: (2010)

Finite automaton actions of free products of groups
за авторством: M. Fedorova, та інші
Опубліковано: (2017)

Finite automaton actions of free products of groups
за авторством: Fedorova, M., та інші
Опубліковано: (2017)

Optimization of the Mealy Automaton Circuit in the FPGA Basis
за авторством: O. O. Barkalov, та інші
Опубліковано: (2022)

Cell-automaton energy model of the earthquake focus
за авторством: Kulchytskyi, V. E.
Опубліковано: (2011)

Finite automaton actions of free products of groups
за авторством: Fedorova, Mariia, та інші
Опубліковано: (2017)

Cellular-automaton energy model of earthquake sourc
за авторством: V. E. Kulchitskij
Опубліковано: (2011)

Penalty clause as a means of securing the performance of obligations under the consumer work contract
за авторством: O. M. Sytnik
Опубліковано: (2015)

Биоэкологические особенности и структура растений Zingeria biebersteiniana (Claus) P. Smirn. (Poaceae)
за авторством: Никифоров, А.Р., та інші
Опубліковано: (2010)

Notion of &quot;pathological&quot; arbitration clause in international commercial arbitration
за авторством: Ye. Prusenko
Опубліковано: (2013)

Optimizing the scheme of a combined automaton in the ASIC basis
за авторством: A. A. Barkalov, та інші
Опубліковано: (2020)

The Construction of an Automaton Model of Training in Computer-Based Training Environments
за авторством: N. I. Khodakovskij, та інші
Опубліковано: (2016)

Solution the routing problem by modified ant-cellular automaton algorithm
за авторством: V. V. Zhykharevych, та інші
Опубліковано: (2016)

Differential operators specifying the solution of an elliptictype iterated equation
за авторством: Aleksandrovich, I. N., та інші
Опубліковано: (2019)

Composition and properties of data specified in compositional schemes of algorithms
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Optimization of division of area on subarias under specified limitations in space
за авторством: V. M. Komjak, та інші
Опубліковано: (2020)

Specifying the process parameters for diamond dressing of grinding wheels
за авторством: Ya. O. Shakhbazov, та інші
Опубліковано: (2019)

Specifying two definitions in the classification of asyndetic composite sentence
за авторством: S. I. Doroshenko
Опубліковано: (2014)

Differential operators specifying the solution of an elliptictype iterated equation
за авторством: I. M. Aleksandrovych, та інші
Опубліковано: (2019)

Optimization of a Moore Automaton Circuit in a Mixed Element Basis
за авторством: O. O. Barkalov, та інші
Опубліковано: (2022)

Finite-dimensionality and growth of algebras specified by polylinearly interrelated generators
за авторством: Redchuk, I. K., та інші
Опубліковано: (2005)

Some Remarks on Spectral Synthesis Sets
за авторством: Joseph, J., та інші
Опубліковано: (2015)

Some Remarks on Spectral Synthesis Sets
за авторством: J. Joseph, та інші
Опубліковано: (2015)

Some Remarks on Spectral Synthesis Sets
за авторством: Joseph, J., та інші
Опубліковано: (2015)

On mathematical modeling peculiarities of root square specified linear differential systems
за авторством: V. A. Stoyan
Опубліковано: (2024)

&quot;Inner&quot; Rus in Contex of the Specifying the Borders
за авторством: O. P. Motsia
Опубліковано: (2015)

Loop of hysteresis specified by a delay of irreversible shifting of domain boundaries
за авторством: G. V. Bida
Опубліковано: (2012)

Optimal methods for specifying information in the solution of integral equations with analytic kernels
за авторством: Azizov, M., та інші
Опубліковано: (1996)

New Automaton-Game Theory Method for Modeling of Reliability and Flexibility Valuation for CAD-CAM Systems
за авторством: Harbarchuk, V., та інші
Опубліковано: (2011)

Finite-size scaling relations of the four-dimensional Ising model on the Creutz cellular automaton
за авторством: Merdan, Z., та інші
Опубліковано: (2011)

Finite-size scaling relations of the four-dimensional Ising model on the Creutz cellular automaton
за авторством: Z. Merdan, та інші
Опубліковано: (2011)