CSpace  > 系统科学研究所
matrixexpressionandreachabilityanalysisoffiniteautomata
Xu Xiangru; Hong Yiguang
2012
Source Publicationjournalofcontroltheoryandapplications
ISSN1672-6340
Volume010Issue:002Pages:210
AbstractIn 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.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/38161
Collection系统科学研究所
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
Xu Xiangru,Hong Yiguang. matrixexpressionandreachabilityanalysisoffiniteautomata[J]. journalofcontroltheoryandapplications,2012,010(002):210.
APA Xu Xiangru,&Hong Yiguang.(2012).matrixexpressionandreachabilityanalysisoffiniteautomata.journalofcontroltheoryandapplications,010(002),210.
MLA Xu Xiangru,et al."matrixexpressionandreachabilityanalysisoffiniteautomata".journalofcontroltheoryandapplications 010.002(2012):210.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Xu Xiangru]'s Articles
[Hong Yiguang]'s Articles
Baidu academic
Similar articles in Baidu academic
[Xu Xiangru]'s Articles
[Hong Yiguang]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Xu Xiangru]'s Articles
[Hong Yiguang]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.