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

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	A. N. Chebotarev
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2017
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000754481
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
за авторством: A. N. Chebotarev
Опубліковано: (2017)

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

Synthesis of an automaton specified by the set of clauses
за авторством: Chebotarev, A.N.
Опубліковано: (2015)

Harmonization of automata specifications represented in the language L
за авторством: A. N. Chebotarev
Опубліковано: (2016)

On Automata Minimization by Hopcroft&#039;s Algorithm
за авторством: A. N. Chebotarev
Опубліковано: (2016)

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2018)

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)

From LP formulas of the form F(T) to k -&amp;omega;-regular expressions
за авторством: A. N. Chebotarev
Опубліковано: (2020)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Pure first-order logics of quasiary predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Pure first-order quasiary logics with equality predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)

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

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)

On the logic and natural language
за авторством: V. Koseska-Tosheva
Опубліковано: (2011)

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
за авторством: Sun, Haimeng, та інші
Опубліковано: (2016)

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
за авторством: Haimeng Sun, та інші
Опубліковано: (2016)

Estimation of desulphurization process of metal in LF by bivariant mechanism
за авторством: S. V. Zhuravljova, та інші
Опубліковано: (2015)

Algebraic operations over fuzzy sets and relations in automata interpretation with realization by logical hardware means
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2022)

A new characterization of finite \(\sigma\)-soluble \(P\sigma T\)-groups
за авторством: Adarchenko, N. M.
Опубліковано: (2020)

On the Cerny problem for automata with simple idempotents
за авторством: I. K. Rystsov
Опубліковано: (2022)

Review of monograph of Kryvachuk L.F. &quot;Public Policy on Childhood Protection: Forming and Realization&quot;
за авторством: N. O. Rynhach
Опубліковано: (2013)

Nonlinearity of Analog to Digital Converter Based on Second Order Sigma-Delta Modulator
за авторством: Ts. Su, та інші
Опубліковано: (2014)

Constructing a -&amp;omega;-regular expression specified by an elementary extensions graph
за авторством: A. M. Chebotarov
Опубліковано: (2022)

Symmetries of automata
за авторством: Egri-Nagy, A., та інші
Опубліковано: (2015)

Symmetries of automata
за авторством: Egri-Nagy, Attila, та інші
Опубліковано: (2018)

Symmetries of automata
за авторством: A. Egri-Nagy, та інші
Опубліковано: (2015)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: S. S. Shkilniak
Опубліковано: (2019)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Excitation of lf ion oscillations in the systems with relativistic electron beam
за авторством: Balakirev, V.A., та інші
Опубліковано: (2005)

Some problems from the analysis of hybrid automata
за авторством: V. V. Skobelev, та інші
Опубліковано: (2018)

$\sigma$-Centralizers of triangular algebras
за авторством: Ashraf, M., та інші
Опубліковано: (2023)

The obtaining of tomato and potato plants with human lactoferrin gene hLF
за авторством: Yu. Buziashvili, та інші
Опубліковано: (2018)

Partial actions and automata
за авторством: Dokuchaev, M., та інші
Опубліковано: (2018)

Groups of linear automata
за авторством: Oliynyk, Andriy
Опубліковано: (2018)