Matrix expression and reachability analysis of finite automata
Xiangru XU
Yiguang HONG
Keywords：Finite automataReachabilityMatrix expressionSemitensor product
Publication Date：2012-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 210-215 )