Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
scientific article; zbMATH DE number 6995605
scientific article