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

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

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	A. N. Chebotarev
Формат:	Стаття
Мова:	English
Опубліковано:	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 &Sigma;-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018)

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

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

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)

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

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

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

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

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
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)

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

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

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

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)

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

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

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

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

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

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

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

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)

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)

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

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

T-satisfiability test problem for the VL1 logical language of the VRS system
за авторством: Timofeev, V.G.
Опубліковано: (2015)

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

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2020)

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

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

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

Integral non-linearity investigation of transformation function of single-bit third order sigma- delta modulator
за авторством: R. V. Kochan
Опубліковано: (2013)

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

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