| 回溯自动机的两个基本定理 |
| |
| 引用本文： | 郝克刚 段振华. 回溯自动机的两个基本定理[J]. 西北大学学报(自然科学版), 1990, 20(1): 11-17 |
| |
| 作者姓名： | 郝克刚 段振华 |
| |
| 作者单位： | 西北大学计算机科学系，西北大学计算机科学系 |
| |
| 摘 要： | ![]()
本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。
|
| 关 键 词： | 自动机 回溯自动机 软件工程 |
Two Foundmental Theorems on Traceable Automata |
| |
| Hao Kegang,Duan Zhenhua. Two Foundmental Theorems on Traceable Automata[J]. Journal of Northwest University(Natural Science Edition), 1990, 20(1): 11-17 |
| |
| Authors: | Hao Kegang Duan Zhenhua |
| |
| Affiliation: | Department of Computer Science |
| |
| Abstract: | ![]()
|
| |
| Keywords: | Automata Finite automata Push-down automata Traceable automata Software engineering |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
