자동 수열의 Crochemore와 Ziv-Lempel 인수분해 탐구: Walnut 소프트웨어 활용

이 논문에서는 Walnut 정리 증명기를 활용하여 일부 고전적인 자동 수열의 Crochemore 및 Ziv-Lempel 인수분해를 정확하게 설명합니다.