Matrix expression and reachability analysis of finite automata
Matrix expression and reachability analysis of finite automata
复制标题
DOI：
10.1007/s11768-012-1178-4
复制
发表时间：
2012-04
期刊：
影响因子：
--
通讯作者：
Xiangru Xu;Yiguang Hong
中科院分区：
文献类型：
--
作者：
Xiangru Xu;Yiguang Hong
在本文中，我们提出了一种基于矩阵的有限自动机方法，并研究了其可达性条件。确定自动机和非确定自动机均以矩阵形式表示，并利用矩阵的半量积给出了可达性的充要条件。结果表明，该矩阵表达式为有限自动机的可达性分析提供了一种有效的计算方法。
In this paper, we propose a matrix-based approach for finite automata and then study the reachability conditions. Both the deterministic and nondeterministic automata are expressed in matrix forms, and the necessary and sufficient conditions on reachability are given using semitensor product of matrices. Our results show that the matrix expression provides an effective computational way for the reachability analysis of finite automata.