Buchumschlag

Harmonization of automata specifications represented in the language L

Gespeichert in:

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

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

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)

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

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

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

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

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

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

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)

Representation of automata by groups
von: Skobelev, V. G., et al.
Veröffentlicht: (1992)

On sequences of Mealy automata and their limits
von: Reznykov, I.I.
Veröffentlicht: (2006)

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

Affine automata and classical fractals
von: I. K. Rystsov
Veröffentlicht: (2018)

Representation of Automata by Groups. II
von: Skobelev, V. G., et al.
Veröffentlicht: (2000)

Linear cellular automata: Garden of Eden Theorem, L-surjunctivity and group rings
von: Ceccherini-Silberstein, T., et al.
Veröffentlicht: (2006)

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

On the Cerny problem for automata with simple idempotents
von: I. K. Rystsov
Veröffentlicht: (2022)

Investigations of Mealy automata growth at iterations
von: Reznykov, Illya I.
Veröffentlicht: (2018)

Free products of semigroups defined by automata
von: Kochubinska, Eugenia, et al.
Veröffentlicht: (2025)

Growth of action graphs of finite automata
von: Ye. V. Bondarenko
Veröffentlicht: (2014)

Automata over abstract finite quasigroups
von: V. V. Skobelev, et al.
Veröffentlicht: (2017)

Investigations of Mealy automata growth at iterations
von: Reznykov, I.I.
Veröffentlicht: (2007)

Perceptions of the Ukrainian language amongst national minority representatives in Chernihiv
von: S. M. Nemyrovska
Veröffentlicht: (2023)

Mixed encoding of collections of microoperations for microprogrammed automata
von: A. A. Barkalov, et al.
Veröffentlicht: (2020)

Metric properties of functions defined by partial automata
von: Nekrashevich, V. V., et al.
Veröffentlicht: (2010)

Walking Automata on a Class of Geometric Environments
von: Kurganskyy, O., et al.
Veröffentlicht: (2008)

Finite groups as groups of automata with no cycles with exit
von: Russyev, Andriy
Veröffentlicht: (2018)

Some problems from the analysis of hybrid automata
von: V. V. Skobelev, et al.
Veröffentlicht: (2018)

Rationality of the growth functions of initial Mealy automata
von: Ye. V. Bondarenko, et al.
Veröffentlicht: (2019)

Non-contracting groups generated by (3,2)-automata
von: N. Davis, et al.
Veröffentlicht: (2014)

Non-contracting groups generated by (3,2)-automata
von: Davis, N., et al.
Veröffentlicht: (2014)

Specificity of Phraseological Realisation of Negation in the Ukrainian Language
von: M. P. Bahan
Veröffentlicht: (2010)

Peculiarities of reproduction of representatives of Prunus laurocerasus L. in vitro
von: M. V. Nebykov, et al.
Veröffentlicht: (2019)

Regeneration penetrability of the representatives of genus Clematis L. in vitro
von: L. A. Koldar, et al.
Veröffentlicht: (2014)

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

Non-contracting groups generated by (3,2)-automata
von: Davis, Nick, et al.
Veröffentlicht: (2018)

Collective Computational Processes of Portfolio Management Using Cellular Automata
von: Ulfik, A.
Veröffentlicht: (2009)