| 关于半群簇的几个判定问题 |
| |
| 引用本文： | 曹为理.关于半群簇的几个判定问题[J].兰州大学学报(自然科学版),1994,30(4):64-67. |
| |
| 作者姓名： | 曹为理 |
| |
| 作者单位： | 兰州大学计算机科学系 |
| |
| 摘 要： | 本文证明了，对于一个半群等式公理的有限集Ｅ定义的半群簇［Ｅ］，以下几个问题是可判定的：（１）是否每个Ｓ∈［Ｅ］都是正则的；（２）是否每个Ｓ∈［Ｅ］都是单的；（３）是否每个Ｓ∈［Ｅ］都是群；（４）是否每个Ｓ∈［Ｅ］都是一致周期的；（５）［Ｅ］是否平凡。
|
| 关 键 词： | 半群 可判定性 定理证明 |
Some Decision Problems for Semigroup Varieties |
| |
| Cao Weili.Some Decision Problems for Semigroup Varieties[J].Journal of Lanzhou University(Natural Science),1994,30(4):64-67. |
| |
| Authors: | Cao Weili |
| |
| Abstract: | In this paper, we proved that for a finite set E of semigroup identities, it can be decided whether every S in E] is (1) regular; (2) simple; (3) a group; (4) uniformly periodic; or (5) trvial. |
| |
| Keywords: | semigroups decidability theorem proving |
| 本文献已被 CNKI 维普 等数据库收录！ |
