Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
Saved in:
| Date: | 2019 |
|---|---|
| Main Author: | A. N. Chebotarev |
| Format: | Article |
| Language: | English |
| Published: |
2019
|
| Series: | Cybernetics and Systems Analysis |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0001018662 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
by: A. N. Chebotarev
Published: (2018)
by: A. N. Chebotarev
Published: (2018)
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
by: A. N. Chebotarev
Published: (2017)
by: A. N. Chebotarev
Published: (2017)
Synthesis of an automaton specified by the set of clauses
by: Chebotarev, A.N.
Published: (2015)
by: Chebotarev, A.N.
Published: (2015)
From LP formulas of the form F(T) to k -ω-regular expressions
by: A. N. Chebotarev
Published: (2020)
by: A. N. Chebotarev
Published: (2020)
Harmonization of automata specifications represented in the language L
by: A. N. Chebotarev
Published: (2016)
by: A. N. Chebotarev
Published: (2016)
Fictitious Human Capital: Essence, Characteristics, Formation Factors
by: O. A. Hrishnova, et al.
Published: (2015)
by: O. A. Hrishnova, et al.
Published: (2015)
Specific features of relaxation of magnons in an easy-plane antiferromagnet in the framework of sigma-model
by: V. I. Butrim, et al.
Published: (2012)
by: V. I. Butrim, et al.
Published: (2012)
On the orbits of automaton semigroups and groups
by: D'Angeli, D., et al.
Published: (2022)
by: D'Angeli, D., et al.
Published: (2022)
A new characterization of finite \(\sigma\)-soluble \(P\sigma T\)-groups
by: Adarchenko, N. M.
Published: (2020)
by: Adarchenko, N. M.
Published: (2020)
Synthesis of a combined automaton with ASIC
by: A. A. Barkalov, et al.
Published: (2020)
by: A. A. Barkalov, et al.
Published: (2020)
The essence of fictitious capital and its role in the development of mofern economic crisis
by: E. N. Veduta, et al.
Published: (2015)
by: E. N. Veduta, et al.
Published: (2015)
The essence of fictitious capital and its role in the development of mofern economic crisis
by: Veduta, E.N., et al.
Published: (2015)
by: Veduta, E.N., et al.
Published: (2015)
National language specificities of the world's categorization
by: L. Savelieva
Published: (2011)
by: L. Savelieva
Published: (2011)
Optimization of the Mealy Automaton Circuit in the FPGA Basis
by: O. O. Barkalov, et al.
Published: (2022)
by: O. O. Barkalov, et al.
Published: (2022)
Cell-automaton energy model of the earthquake focus
by: Kulchytskyi, V. E.
Published: (2011)
by: Kulchytskyi, V. E.
Published: (2011)
Finite automaton actions of free products of groups
by: Fedorova, Mariia, et al.
Published: (2017)
by: Fedorova, Mariia, et al.
Published: (2017)
Finite automaton actions of free products of groups
by: M. Fedorova, et al.
Published: (2017)
by: M. Fedorova, et al.
Published: (2017)
Cellular-automaton energy model of earthquake sourc
by: V. E. Kulchitskij
Published: (2011)
by: V. E. Kulchitskij
Published: (2011)
Level Set Structure of an Integrable Cellular Automaton
by: Takagi, T.
Published: (2010)
by: Takagi, T.
Published: (2010)
Finite automaton actions of free products of groups
by: Fedorova, M., et al.
Published: (2017)
by: Fedorova, M., et al.
Published: (2017)
$\sigma$-Centralizers of triangular algebras
by: Ashraf, M., et al.
Published: (2023)
by: Ashraf, M., et al.
Published: (2023)
Optimizing the scheme of a combined automaton in the ASIC basis
by: A. A. Barkalov, et al.
Published: (2020)
by: A. A. Barkalov, et al.
Published: (2020)
Synthesis of a Four-Level Schema of a Combined Automaton
by: O. O. Barkalov, et al.
Published: (2019)
by: O. O. Barkalov, et al.
Published: (2019)
Optimization of a Moore Automaton Circuit in a Mixed Element Basis
by: O. O. Barkalov, et al.
Published: (2022)
by: O. O. Barkalov, et al.
Published: (2022)
Species-specific detection of causative agent of anthrax
by: Yu. Lymanska, et al.
Published: (2012)
by: Yu. Lymanska, et al.
Published: (2012)
The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of arbitrary shape
by: I. P. Havryliuk, et al.
Published: (2019)
by: I. P. Havryliuk, et al.
Published: (2019)
The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of any shape
by: I. P. Havryliuk, et al.
Published: (2020)
by: I. P. Havryliuk, et al.
Published: (2020)
The fictitious domain method and homotopy as a new alternative for multidimensional partial differential equations in domains of any shape
by: V.L. Makarov, et al.
Published: (2020)
by: V.L. Makarov, et al.
Published: (2020)
Language of Cinematography as a Specific System of Artistic Means of the Literary Text (from the experience of Ukrainian Sixties' Generation)
by: V. Kondrashov
Published: (2012)
by: V. Kondrashov
Published: (2012)
The Construction of an Automaton Model of Training in Computer-Based Training Environments
by: N. I. Khodakovskij, et al.
Published: (2016)
by: N. I. Khodakovskij, et al.
Published: (2016)
Solution the routing problem by modified ant-cellular automaton algorithm
by: V. V. Zhykharevych, et al.
Published: (2016)
by: V. V. Zhykharevych, et al.
Published: (2016)
Solitons in isotropic antiferromagnets: beyond a sigma model
by: Galkina, E.G., et al.
Published: (2008)
by: Galkina, E.G., et al.
Published: (2008)
Momentum Sections in Hamiltonian Mechanics and Sigma Models
by: Ikeda, N.
Published: (2019)
by: Ikeda, N.
Published: (2019)
On \(\Sigma\)-skew reflexive-nilpotents-property for rings
by: Suárez, Héctor, et al.
Published: (2024)
by: Suárez, Héctor, et al.
Published: (2024)
On $\Sigma_t^{σ}$ -closed classes of finite groups
by: Skiba, A. N., et al.
Published: (2018)
by: Skiba, A. N., et al.
Published: (2018)
Solitons of Some Nonlinear Sigma-Like Models
by: Vekslerchik, V.E.
Published: (2020)
by: Vekslerchik, V.E.
Published: (2020)
On Addition Formulae for Sigma Functions of Telescopic Curves
by: Ayano, T., et al.
Published: (2013)
by: Ayano, T., et al.
Published: (2013)
Automaton extensions of mappings on the set of words defined by finite Mealy automata
by: Osys, M.
Published: (2005)
by: Osys, M.
Published: (2005)
The Joint Approximation integrals by Fejer'S sums in the metric Lp
by: V. A. Sorych, et al.
Published: (2019)
by: V. A. Sorych, et al.
Published: (2019)
On the asymptotic of associate sigma-functions and Jacobi theta-functions
by: Ye. Korenkov, et al.
Published: (2018)
by: Ye. Korenkov, et al.
Published: (2018)
Similar Items
-
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
by: A. N. Chebotarev
Published: (2018) -
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
by: A. N. Chebotarev
Published: (2017) -
Synthesis of an automaton specified by the set of clauses
by: Chebotarev, A.N.
Published: (2015) -
From LP formulas of the form F(T) to k -ω-regular expressions
by: A. N. Chebotarev
Published: (2020) -
Harmonization of automata specifications represented in the language L
by: A. N. Chebotarev
Published: (2016)