Cover Image

Harmonization of automata specifications represented in the language L

Saved in:

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

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

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

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

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

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

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

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

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

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)

Automata over finite T-quasigroups
by: V. V. Skobelev, et al.
Published: (2018)

Affine automata and classical fractals
by: I. K. Rystsov
Published: (2018)

On sequences of Mealy automata and their limits
by: Reznykov, I.I.
Published: (2006)

Investigations of Mealy automata growth at iterations
by: Reznykov, Illya I.
Published: (2018)

Free products of semigroups defined by automata
by: Kochubinska, Eugenia, et al.
Published: (2025)

Growth of action graphs of finite automata
by: Ye. V. Bondarenko
Published: (2014)

Automata over abstract finite quasigroups
by: V. V. Skobelev, et al.
Published: (2017)

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

On the issue of the stability of hybrid automata by part of the variables
by: A. S. Bychkov, et al.
Published: (2019)

Mixed encoding of collections of microoperations for microprogrammed automata
by: A. A. Barkalov, et al.
Published: (2020)

Finite groups as groups of automata with no cycles with exit
by: Russyev, Andriy
Published: (2018)

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

Rationality of the growth functions of initial Mealy automata
by: Ye. V. Bondarenko, et al.
Published: (2019)

Non-contracting groups generated by (3,2)-automata
by: N. Davis, et al.
Published: (2014)

Perceptions of the Ukrainian language amongst national minority representatives in Chernihiv
by: S. M. Nemyrovska
Published: (2023)

Non-contracting groups generated by (3,2)-automata
by: Davis, Nick, et al.
Published: (2018)

Collective Computational Processes of Portfolio Management Using Cellular Automata
by: Ulfik, A.
Published: (2009)

Peculiarities of reproduction of representatives of Prunus laurocerasus L. in vitro
by: M. V. Nebykov, et al.
Published: (2019)

Regeneration penetrability of the representatives of genus Clematis L. in vitro
by: L. A. Koldar, et al.
Published: (2014)

Method of Cellular Automata for Simulation of Physico-Chemical Processes on Nanocatalyst
by: D. V. Hrankin, et al.
Published: (2021)

Collectives of automata on infinite grid graph with deterministic vertex labeling
by: S. V. Sapunov
Published: (2019)

Modeling of pitting-like defects evolution with application of cellular automata
by: B. P. Rusyn, et al.
Published: (2014)

Method of Cellular Automata for Simulation of Physico-Chemical Processes on Nanocatalyst
by: Гранкін, Денис, et al.
Published: (2021)

Cellular Automata Modelling of Dynamics of Volumes of Sales of a Trade Company
by: V. V. Zhykharevych, et al.
Published: (2013)

The Marginal Character&#039;s Specificity in the Texts of German Writers Representing the 1968 Generation
by: M. O. Orlova
Published: (2017)

Specificity of Phraseological Realisation of Negation in the Ukrainian Language
by: M. P. Bahan
Published: (2010)

The representatives of genus of Pinus L. in the landscapes of dendropark Trostjanets
by: O. O. Ilienko, et al.
Published: (2011)

Adaptive potential performance of representatives of the tribe Triticeae L.
by: T. Z. Moskalets, et al.
Published: (2016)

Reproductive capacity of same representatives of Rhododendron L. genus
by: H. V. Tymchyshyn
Published: (2011)