Reconstruction of Ordered Prefix Languages from Coarsened Carry Traces

This paper develops an exact inverse theory for ordered carry traces on zero-prolongable prefix languages. It asks how much of an underlying legality language can be reconstructed when the reset depth between consecutive legal words is observed only through a possibly noninjective numerical decoder. The paper proves that every strict jump of the decoder reveals [ ] The post Reconstruction of…