Exact Synchronization for Finite-State Sources