辫群的松弛正规形式是正则的

辫群在几何上可表示为穿孔圆盘的叶层化。一个辫的几何复杂度是表示它的叶层化的最小复杂度，而紧叶层化是最小复杂度的代表元。这些叶层化通过一个松弛算法引出了辫的一种正规形式。我们在此研究该松弛算法及其相关的正规形式。我们证明该正规形式是正则的且前缀封闭的。我们提供了一个识别该正规形式的确定性自动机的有效构造。