Compatible-invariant subset analysis of deterministic finite automata via semi-tensor product of matrices approach
张志鹏 陈增强 刘忠信
JOURNAL OF CHINA UNIVERSITIES OF POSTS AND TELECOM . 2018, (5): 75 -82 .  DOI: 10.19682/j.cnki.1005-8885.2018.0028