A code for numbers such that the representations of any two successive numbers differ by exactly one digit. The most famous Gray codes are the binary Gray codes, which are used for various applications in logic design and electrical engineering. Compare Karnaugh map, digital logic, Hamiltonian path, hypercube, error-correcting codes, ADC, DAC.