Meng, Lingqian, Moscow State University, Russia
-
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)