自由群上扩展自由幺半群字典序的显式左序
群论
2013-04-04 v1
摘要
对于每个有限生成的自由群，我们构造了一个显式的左序，该序扩展了由正字母生成的自由幺半群上的字典序。该序由分段线性同胚自由群在直线轨道上对 0 的左自由作用所定义。正锥中的成员资格判定在线性时间内完成，时间复杂度取决于输入词的长度。正锥构成一个在词反转下封闭的上下文无关语言。
引用
@article{arxiv.1304.0837,
title = {Explicit left orders on free groups extending the lexicographic order on free monoids},
author = {Zoran Sunic},
journal= {arXiv preprint arXiv:1304.0837},
year = {2013}
}
备注
4 figures