Refer to the machine tool builder's manual for the number of digits commandable with address T and the correspondence between the T codes and machine operation.
We will be concerned primarily with bijective proofs, i.e., showing that two sets have the same number of elements by exhibiting a bijection (one-to-one correspondence) between them.