quotation:[Copy]
[Copy]
【Print page】 【Online reading】【Download 【PDF Full text】 View/Add CommentDownload reader Close

←Previous page|Page Next →

Back Issue    Advanced search

This Paper:Browse 840   Download 323 本文二维码信息
码上扫一扫!
XiangruXU,YiguangHONG
0
(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