Evaluation of the distance spectrum of variable-length finite-state codes