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)