A validation algorithm of the transmitters boundedly deterministic behaviour in a partial erasure channel | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2023. № 59. DOI: 10.17223/20710410/59/6

The concepts of the partial erasure structure and the partial erasure channel were introduced in the previous works of the author. Also in these works a formal model of the interaction between the receiver and the transmitter is presented. The concept of a correct protocol is introduced, i.e. the concept of matching the behavior of the receiver with the behavior of the transmitter. A necessary and sufficient condition imposed on the transmitter's behavior is found for the existence of a receiver's behavior consistent with it. In this paper, we present an algorithm for checking this condition and an estimate of its complexity.