Word Problem
Word Problem
复制标题
DOI：
10.2307/j.ctvc77m52.72
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Y. Lafont
中科院分区：
文献类型：
--
作者：
Y. Lafont
利用重写技术，我们得到了一个相当简单的证明的不可判定性的字问题的群体（诺维科夫-布恩定理）。
Using rewriting techniques, we get a quite simple proof of undecidability of the word problem for groups (Novikov-Boone theorem).