Buchumschlag

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	A. N. Chebotarev
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2018
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000889042
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

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

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

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

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

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

On Automata Minimization by Hopcroft&#039;s Algorithm
von: A. N. Chebotarev
Veröffentlicht: (2016)

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

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Pure first-order logics of quasiary predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)

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

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
von: Sun, Haimeng, et al.
Veröffentlicht: (2016)

Integral Nonlinearity of Second-Order Single-Bit Sigma-Delta Modulator
von: Haimeng Sun, et al.
Veröffentlicht: (2016)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Pure first-order quasiary logics with equality predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)

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

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

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

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

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

&quot;Inner&quot; Rus in Contex of the Specifying the Borders
von: O. P. Motsia
Veröffentlicht: (2015)

Symmetries of automata
von: Egri-Nagy, Attila, et al.
Veröffentlicht: (2018)

Symmetries of automata
von: A. Egri-Nagy, et al.
Veröffentlicht: (2015)

On the logic and natural language
von: V. Koseska-Tosheva
Veröffentlicht: (2011)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)

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

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

The obtaining of tomato and potato plants with human lactoferrin gene hLF
von: Yu. Buziashvili, et al.
Veröffentlicht: (2018)

Integral non-linearity investigation of transformation function of single-bit third order sigma- delta modulator
von: R. V. Kochan
Veröffentlicht: (2013)

Partial actions and automata
von: Dokuchaev, M., et al.
Veröffentlicht: (2018)

Groups of linear automata
von: Oliynyk, Andriy
Veröffentlicht: (2018)

Partial actions and automata
von: Dokuchaev, M., et al.
Veröffentlicht: (2011)

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

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)

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

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

Automata over finite T-quasigroups
von: V. V. Skobelev, et al.
Veröffentlicht: (2018)