We provide, for each natural number $n$ and each class among $D_n(\Sigma^0_1)$, $\bar D_n(\Sigma^0_1)$ and $D_{2n+1}(\Sigma^0_1)\oplus\bar D_{2n+1}(\Sigma^0_1)$, a regular language whose associated omega-power is complete for this class.

翻译：对于每个自然数$n$以及$D_n(\Sigma^0_1)$、$\bar D_n(\Sigma^0_1)$和$D_{2n+1}(\Sigma^0_1)\oplus\bar D_{2n+1}(\Sigma^0_1)$中的每个类，我们构造了一个正则语言，其关联的ω-幂对于该类是完备的。