Author Details
Melnikova, Aleksandra, Dimitrovgrad Engineering and Technology Institute - Branch of National Research Nuclear University "MEPhI", 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 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 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)