Let be a Linear Code with Parity Check Matrix
Suppose we receive
We form the Syndrome

Suppose we know is Error correcting
We tabulate the syndrome for all with
We search for in this list
If successful, we decode as
Otherwise, we know that there was more than mistakes.