Author Details
Melnikov, Boris, Shenzhen MSU-BIT University, China, Russian Federation
-
Vol 8, No 8 (2020) - Theoretical Informatics and Computer Science
Some more on omega-finite automata and omega-regular languages. Part I: The main definitions and properties
Abstract
PDF
-
Vol 9, No 3 (2021) - Theoretical Informatics and Computer Science
On a subclass of the regular language class (“strongly connected” languages): definitions and corresponding canonical automata
Abstract
PDF (Russian)
-
Vol 9, No 4 (2021) - Theoretical Informatics and Computer Science
Infinite trees in the algorithm for checking the equivalence condition of iterations of finite languages. Part I
Abstract
PDF (Russian)
-
Vol 9, No 5 (2021) - Theoretical Informatics and Computer Science
Infinite trees in the algorithm for checking the equivalence condition of iterations of finite languages. Part II
Abstract
PDF (Russian)
-
Vol 9, No 6 (2021) - Theoretical Informatics and Computer Science
Automata – complete invariants for strongly connected regular languages
Abstract
PDF (Russian)
-
Vol 9, No 7 (2021) - Theoretical Informatics and Computer Science
Variants of finite automata corresponding to infinite iterative morphism trees. Part I
Abstract
PDF (Russian)
-
Vol 10, No 4 (2022) - Theoretical Informatics and Computer Science
Semi-lattices of the subsets of potential roots in the problems of the formal languages theory. Part I. Extracting the root from the language
Abstract
PDF (Russian)
-
Vol 10, No 5 (2022) - Theoretical Informatics and Computer Science
Semi-lattices of the subsets of potential roots in the problems of the formal languages theory. Part II. Construction of an inverse morphism
Abstract
PDF (Russian)
-
Vol 10, No 7 (2022) - Theoretical Informatics and Computer Science
Semi-lattices of the subsets of potential roots in the problems of the formal languages theory. Part III. The condition for the existence of a lattice
Abstract
PDF (Russian)
-
Vol 10, No 9 (2022) - Theoretical Informatics and Computer Science
Petal (semi-flower) finite automata: basic definitions, examples and their relation to complete automata. Part I
Abstract
PDF (Russian)
-
Vol 10, No 9 (2022) - Theoretical Informatics and Computer Science
Simplified regular languages and a special equivalence relation on the class of regular languages. Part I
Abstract
PDF (Russian)
-
Vol 10, No 10 (2022) - Theoretical Informatics and Computer Science
Petal (semi-flower) finite automata: basic definitions, examples and their relation to complete automata. Part II
Abstract
PDF (Russian)
-
Vol 10, No 12 (2022) - Theoretical Informatics and Computer Science
A polynomial algorithm for checking the fulfillment of the condition of the morphic image of the extended maximal prefix code
Abstract
PDF (Russian)
-
Vol 11, No 1 (2023) - Theoretical Informatics and Computer Science
On the complex of problems for the study of the necessary conditions for the equality of infinite iterations of finite languages
Abstract
PDF (Russian)
-
Vol 11, No 1 (2023) - Theoretical Informatics and Computer Science
Simplified regular languages and a special equivalence relation on the class of regular languages. Part II
Abstract
PDF (Russian)
-
Vol 11, No 3 (2023) - Theoretical Informatics and Computer Science
The use of petal finite automata to verify the fulfillment of a special case of the Zyu hypothesis (for a given finite language)
Abstract
PDF (Russian)
-
Vol 11, No 5 (2023) - Theoretical Informatics and Computer Science
On the problems of extracting the root from a given finite language
Abstract
PDF (Russian)
-
Vol 11, No 6 (2023) - Theoretical Informatics and Computer Science
A polynomial algorithm for constructing the optimal inverse morphism
Abstract
PDF (Russian)
-
Vol 11, No 9 (2023) - Theoretical Informatics and Computer Science
On the groupoid of the primary automaton PRI defined for the only finite language
Abstract
PDF (Russian)
-
Vol 11, No 11 (2023) - Theoretical Informatics and Computer Science
Eight variants of finite automata for checking the fulfillment of the coverage relation of iterations of two finite languages. Part I
Abstract
PDF (Russian)
-
Vol 12, No 1 (2024) - Theoretical Informatics and Computer Science
On the connection of special binary relations with conditions of commuting languages. Part II. The main statements
Abstract
PDF (Russian)
-
Vol 12, No 2 (2024) - Theoretical Informatics and Computer Science
Eight variants of finite automata for checking the fulfillment of the coverage relation of iterations of two finite languages. Part II
Abstract
PDF (Russian)
-
Vol 12, No 3 (2024) - Applied mathematics
On the application a number of predictors in the branch and bound method (on the example of the random variant of the traveling salesman problem)
Abstract
PDF (Russian)