| 关于非线性有限自动机的弱可逆性 |
| |
| 引用本文： | 王浩. 关于非线性有限自动机的弱可逆性[J]. 计算机学报, 1997, 20(11): 1003-1008 |
| |
| 作者姓名： | 王浩 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学开放实验室 |
| |
| 基金项目： | 中国科学院八五重点科研项目,国家自然科学基金 |
| |
| 摘 要： | 根据ＲＲ变换所得方程是否有解或至多一解可判定有限自动机Ｍ是否为弱逆或弱可逆。本文证明了这些充分条件与某类映射为满射或单射是等价的，从而减少了判定所需的工作量。本文还讨论了它们同时也是判定Ｍ为弱逆或弱可逆的必要条件的情形。
|
| 关 键 词： | 有限自动机 TR变换 自动机 非线性 弱可逆性 |
ON WEAK INVERTIBILITY OF NONLINEAR FINITE AUTOMATA |
| |
| WANG Hao. ON WEAK INVERTIBILITY OF NONLINEAR FINITE AUTOMATA[J]. Chinese Journal of Computers, 1997, 20(11): 1003-1008 |
| |
| Authors: | WANG Hao |
| |
| Abstract: | For a nonlinear finite automaton, according to the solution number for equations of its RaRb transformations, there exist two sufficient criteria about its weak invertibility and weak inverse. In this paper,both sufficient criteria are studied further. It is proved that they are equivalent to the injection or surjection of some maps. Sufficient and necessary conditions about weak invertibility or weak inverse for a kind of nonlinear finite automaton are given. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
