quotation:		[Copy]
		Xiangru XU,Yiguang HONG.[en_title][J].Control Theory and Technology,2012,10(2):210~215.[Copy]

This Paper:Browse 1923 Download 323	码上扫一扫！

XiangruXU,YiguangHONG
0 Fontlarge +\|Default\|Small
(Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

摘要:

关键词:

DOI：

Received:August 30, 2011Revised:February 06, 2012

基金项目:This work was supported by the National Natural Science Foundation of China (No. 61174071).

Matrix expression and reachability analysis of finite automata

Xiangru XU,Yiguang HONG

(Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

Abstract:

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.

Key words: Finite automata Reachability Matrix expression Semitensor product