Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2019
1. Verfasser:	A. N. Chebotarev
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2019
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001018662
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)

Synthesis of an automaton specified by the set of clauses
von: Chebotarev, A.N.
Veröffentlicht: (2015)

From LP formulas of the form F(T) to k -&amp;omega;-regular expressions
von: A. N. Chebotarev
Veröffentlicht: (2020)

Harmonization of automata specifications represented in the language L
von: A. N. Chebotarev
Veröffentlicht: (2016)

Fictitious Human Capital: Essence, Characteristics, Formation Factors
von: O. A. Hrishnova, et al.
Veröffentlicht: (2015)

Specific features of relaxation of magnons in an easy-plane antiferromagnet in the framework of sigma-model
von: V. I. Butrim, et al.
Veröffentlicht: (2012)

A new characterization of finite \(\sigma\)-soluble \(P\sigma T\)-groups
von: Adarchenko, N. M.
Veröffentlicht: (2020)

On the orbits of automaton semigroups and groups
von: D'Angeli, D., et al.
Veröffentlicht: (2022)

Synthesis of a combined automaton with ASIC
von: A. A. Barkalov, et al.
Veröffentlicht: (2020)

The essence of fictitious capital and its role in the development of mofern economic crisis
von: Veduta, E.N., et al.
Veröffentlicht: (2015)

The essence of fictitious capital and its role in the development of mofern economic crisis
von: E. N. Veduta, et al.
Veröffentlicht: (2015)

National language specificities of the world&#039;s categorization
von: L. Savelieva
Veröffentlicht: (2011)

$\sigma$-Centralizers of triangular algebras
von: Ashraf, M., et al.
Veröffentlicht: (2023)

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)

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

Finite automaton actions of free products of groups
von: Fedorova, Mariia, et al.
Veröffentlicht: (2017)

Finite automaton actions of free products of groups
von: M. Fedorova, et al.
Veröffentlicht: (2017)

Cellular-automaton energy model of earthquake sourc
von: V. E. Kulchitskij
Veröffentlicht: (2011)

Finite automaton actions of free products of groups
von: Fedorova, M., et al.
Veröffentlicht: (2017)

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

Synthesis of a Four-Level Schema of a Combined Automaton
von: O. O. Barkalov, 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)

The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of arbitrary shape
von: I. P. Havryliuk, et al.
Veröffentlicht: (2019)

The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of any shape
von: I. P. Havryliuk, et al.
Veröffentlicht: (2020)

The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of any shape
von: V.L. Makarov, et al.
Veröffentlicht: (2020)

Species-specific detection of causative agent of anthrax
von: Yu. Lymanska, et al.
Veröffentlicht: (2012)

Momentum Sections in Hamiltonian Mechanics and Sigma Models
von: Ikeda, N.
Veröffentlicht: (2019)

On \(\Sigma\)-skew reflexive-nilpotents-property for rings
von: Suárez, Héctor, et al.
Veröffentlicht: (2024)

Solitons of Some Nonlinear Sigma-Like Models
von: Vekslerchik, V.E.
Veröffentlicht: (2020)

On $\Sigma_t^{σ}$ -closed classes of finite groups
von: Skiba, A. N., et al.
Veröffentlicht: (2018)

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)

Language of Cinematography as a Specific System of Artistic Means of the Literary Text (from the experience of Ukrainian Sixties&#039; Generation)
von: V. Kondrashov
Veröffentlicht: (2012)

Automaton extensions of mappings on the set of words defined by finite Mealy automata
von: Osys, M.
Veröffentlicht: (2005)

Novikov-Veselov Symmetries of the Two-Dimensional ( ) Sigma Model
von: Krichever, Igor, et al.
Veröffentlicht: (2022)

On the asymptotic of associate sigma-functions and Jacobi theta-functions
von: Ye. Korenkov, et al.
Veröffentlicht: (2018)

Sigma-delta modulator: loop filters and quantization noise
von: V. S. Golub
Veröffentlicht: (2013)

Solitary Waves in Massive Nonlinear SN-Sigma Models
von: Izquierdo, A.A., et al.
Veröffentlicht: (2010)