matrixexpressionandreachabilityanalysisoffiniteautomata

CSpace > 系统科学研究所

	matrixexpressionandreachabilityanalysisoffiniteautomata
	Xu Xiangru; Hong Yiguang
	2012
发表期刊	journalofcontroltheoryandapplications
ISSN	1672-6340
卷号	010 期号:002 页码:210
摘要	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.
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/38161
专题	系统科学研究所
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 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.