matrixexpressionandreachabilityanalysisoffiniteautomata
文献类型：期刊论文
| 作者 | Xu Xiangru; Hong Yiguang
|
| 刊名 | journalofcontroltheoryandapplications
 |
| 出版日期 | 2012 |
| 卷号 | 010期号:002页码:210 |
| ISSN号 | 1672-6340 |
| 英文摘要 | 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. |
| 语种 | 英语 |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/38160]  |
| 专题 | 系统科学研究所 |
| 作者单位 | 中国科学院数学与系统科学研究院 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。