|
|||||
|
|
| 改写系统的Word问题的算法及其复杂性 | |
| 引用本文： | 徐子珊.改写系统的Word问题的算法及其复杂性[J].重庆工商大学学报(自然科学版),2004,21(1):60-62. |
| 作者姓名： | 徐子珊 |
| 作者单位： | 重庆工商大学,计算机科学与信息工程学院,重庆,400067 |
| 摘 要： | 讨论一类特殊集———有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义,并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。 |
| 关 键 词： | Word问题 Thue系统 Rewriting系统 ChurchRosser性质 |
| 文章编号： | 1672-058X(2004)01-0060-03 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《重庆工商大学学报(自然科学版)》下载免费的PDF全文 | |