本文提出了在零边界条件下判定一维细胞自动机可逆性的算法，包括严格可逆性的判定算法和基于桶链的可逆性函数计算算法。这些算法适用于线性和非线性规则。此外，证实了可逆性函数总是有周期性，且与对应桶链的周期性有关。
