Cover Image

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

Saved in:

Bibliographic Details
Date:	2017
Main Author:	A. N. Chebotarev
Format:	Article
Language:	English
Published:	2017
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000754481
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 | LibNAS

Similar Items

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

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
by: A. N. Chebotarev
Published: (2017)

Detecting fictitious states in a &amp;Sigma;-automaton synthesized from the specification in the language LP
by: A. N. Chebotarev
Published: (2019)

Synthesis of an automaton specified by the set of clauses
by: Chebotarev, A.N.
Published: (2015)

Harmonization of automata specifications represented in the language L
by: A. N. Chebotarev
Published: (2016)

On Automata Minimization by Hopcroft&#039;s Algorithm
by: A. N. Chebotarev
Published: (2016)

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

Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016)

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
by: Sun, Haimeng, et al.
Published: (2016)

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
by: Haimeng Sun, et al.
Published: (2016)

First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)

Pure first-order quasiary logics with equality predicates
by: M. S. Nikitchenko, et al.
Published: (2017)

Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

A new characterization of finite \(\sigma\)-soluble \(P\sigma T\)-groups
by: Adarchenko, N. M.
Published: (2020)

Nonlinearity of Analog to Digital Converter Based on Second Order Sigma-Delta Modulator
by: Ts. Su, et al.
Published: (2014)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
by: S. S. Shkilniak
Published: (2013)

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Estimation of desulphurization process of metal in LF by bivariant mechanism
by: S. V. Zhuravljova, et al.
Published: (2015)

On the Cerny problem for automata with simple idempotents
by: I. K. Rystsov
Published: (2022)

Algebraic operations over fuzzy sets and relations in automata interpretation with realization by logical hardware means
by: S. L. Kryvyi, et al.
Published: (2022)

&quot;Inner&quot; Rus in Contex of the Specifying the Borders
by: O. P. Motsia
Published: (2015)

Symmetries of automata
by: Egri-Nagy, Attila, et al.
Published: (2018)

Symmetries of automata
by: A. Egri-Nagy, et al.
Published: (2015)

Review of monograph of Kryvachuk L.F. &quot;Public Policy on Childhood Protection: Forming and Realization&quot;
by: N. O. Rynhach
Published: (2013)

On the logic and natural language
by: V. Koseska-Tosheva
Published: (2011)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: S. S. Shkilniak
Published: (2019)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by: Shkilniak, О.S., et al.
Published: (2023)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
by: Shkilniak, S.S.
Published: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)

Some problems from the analysis of hybrid automata
by: V. V. Skobelev, et al.
Published: (2018)

The obtaining of tomato and potato plants with human lactoferrin gene hLF
by: Yu. Buziashvili, et al.
Published: (2018)

Integral non-linearity investigation of transformation function of single-bit third order sigma- delta modulator
by: R. V. Kochan
Published: (2013)

Partial actions and automata
by: Dokuchaev, M., et al.
Published: (2018)

Groups of linear automata
by: Oliynyk, Andriy
Published: (2018)

Partial actions and automata
by: Dokuchaev, M., et al.
Published: (2011)

Constructing a -&amp;omega;-regular expression specified by an elementary extensions graph
by: A. M. Chebotarov
Published: (2022)

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

Solitons of Some Nonlinear Sigma-Like Models
by: Vekslerchik, V.E.
Published: (2020)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
by: M. S. Nikitchenko, et al.
Published: (2020)