もうひとつ留意点として、任意の有限生成コクセター群がオートマチック群(automatic group)であることである。