Von einem digitalen Übertragungssystem ist bekannt, dass es durch ein
BSC–Modell (Binary Symmetrical Channel) mit Fehlerwahrscheinlichkeit p angenähert werden kann. Zur Verifizierung soll die Bitfehlerquote ermittelt werden, indem man die Sinkensymbolfolge 〈υν〉 mit der Quellensymbolfolge
〈qν〉 vergleicht und daraus die Fehlerfolge 〈eν〉 ermittelt. Dabei gilt: