3.2DSMar 22
Rationality and computability of the covering radius for sofic shiftsTom Meyerovitch, Aidan Young
The covering radius of a shift space is a quantity of interest for information-theoretic applications of data transmission over noisy channels. We prove that the covering radius of a primitive sofic shift is a rational number, and describe an algorithm to compute the covering radius from a labeled graph presentation.