关于相对于两个定义关系的系统无平方词问题的算法可判定性
逻辑
2012-03-05 v1
摘要
相对于两个定义关系的系统，无平方词问题是可判定的。
引用
@article{arxiv.1203.0334,
title = {On algorithmic decidability of the square-free word problem relative to a system of two defining relations},
author = {Nikolay L. Poliakov},
journal= {arXiv preprint arXiv:1203.0334},
year = {2012}
}