We show that for every sofic chunk E there is a bijective homomorphism \(f:E_c \rightarrow E\), where \(E_c\) is a chunk of the group of computable permutations of \(\mathbb {N}\) so that the approximating morphisms of E can be viewed as restrictions of permutations of \(E_c\) to finite subsets of \(\mathbb {N}\). Using this we study some relevant effectivity conditions associated with sofic chunks and their profiles.

中文翻译：

---

$$ S（\ omega）$$ S（ω）的索菲克剖面和可计算性

我们表明，对于每sofic块Ë有一个双射同态\（F：E_C \ RIGHTARROWë\） ，其中\（E_C \）是该组的可计算的排列的一个块\（\ mathbb {N} \） ，以便E的近似形态可以看作是\（E_c \）到\（\ mathbb {N} \）的有限子集的排列限制。使用此方法，我们研究了与sofic块及其轮廓相关的一些相关有效条件。