编码理论-格雷编码的定义