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

Detecting fictitious states in a &amp;Sigma;-automaton synthesized from the specification in the language LP

Збережено в:

Бібліографічні деталі
Дата:	2019
Автор:	A. N. Chebotarev
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2019
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001018662
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	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)

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

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

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

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

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

Fictitious Human Capital: Essence, Characteristics, Formation Factors
за авторством: O. A. Hrishnova, та інші
Опубліковано: (2015)

Specific features of relaxation of magnons in an easy-plane antiferromagnet in the framework of sigma-model
за авторством: V. I. Butrim, та інші
Опубліковано: (2012)

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

The essence of fictitious capital and its role in the development of mofern economic crisis
за авторством: Veduta, E.N., та інші
Опубліковано: (2015)

The essence of fictitious capital and its role in the development of mofern economic crisis
за авторством: E. N. Veduta, та інші
Опубліковано: (2015)

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

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

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

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

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

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

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

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

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

On \(\Sigma\)-skew reflexive-nilpotents-property for rings
за авторством: Suárez, Héctor, та інші
Опубліковано: (2024)

Solitons of Some Nonlinear Sigma-Like Models
за авторством: Vekslerchik, V.E.
Опубліковано: (2020)

National language specificities of the world&#039;s categorization
за авторством: L. Savelieva
Опубліковано: (2011)

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

On the asymptotic of associate sigma-functions and Jacobi theta-functions
за авторством: Ye. Korenkov, та інші
Опубліковано: (2018)

Sigma-delta modulator: loop filters and quantization noise
за авторством: V. S. Golub
Опубліковано: (2013)

Solitary Waves in Massive Nonlinear SN-Sigma Models
за авторством: Izquierdo, A.A., та інші
Опубліковано: (2010)

The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of arbitrary shape
за авторством: I. P. Havryliuk, та інші
Опубліковано: (2019)

The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of any shape
за авторством: I. P. Havryliuk, та інші
Опубліковано: (2020)

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

The Joint Approximation integrals by Fejer&#039;S sums in the metric Lp
за авторством: V. A. Sorych, та інші
Опубліковано: (2019)

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)

Symmetric analytic functions on ℓp
за авторством: I. V. Cherneha
Опубліковано: (2012)

Универсальные компакты в lp
за авторством: Орлов, И.В.
Опубліковано: (2010)

Associated prime ideals of weak \(\sigma\)-rigid rings and their extensions
за авторством: Bhat, V. K.
Опубліковано: (2018)

Species-specific detection of causative agent of anthrax
за авторством: Yu. Lymanska, та інші
Опубліковано: (2012)

On finite groups with \(K\)-\(\frak{N}_{\sigma}\)-subnormal Schmidt subgroups
за авторством: Hussain, Muhammad Tanveer
Опубліковано: (2024)

Rigid, quasi-rigid and matrix rings with \((\overline{\sigma},0)\)multiplication
за авторством: Abdioglu, Cihat, та інші
Опубліковано: (2018)

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