Binary codes with specified minimum distance

Two
n
-digit sequences, called "points," of binary digits are said to be at distance
d
if exactly
d
corresponding digits are unlike in the two sequences. The construction of sets of points, called codes, in which some specified minimum distance is maintained between pairs of points is of interest in the design of self-checking systems for computing with or transmitting binary digits, the minimum distance being the minimum number of digital errors required to produce an undetected error in the system output. Previous work in the field had established general upper bounds for the number of
n
-digit points in codes of minimum distance d with certain properties. This paper gives new results in the field in the form of theorems which permit systematic construction of codes for given
n, d
; for some
n, d
, the codes contain the greatest possible numbers of points.