对于补码表示的尾数，当符号位 MS 与最高有效位M1相异时，浮点数为已经规格化。对吗？

是的，对于补码表示的尾数，当符号位 MS 与最高有效位 M1 相异时，浮点数为已经规格化。在浮点数的补码表示中，规格化的条件是尾数的最高位（M1）与符号位（MS）的取值必须不同，即 MS M1 = 1。这意味着如果符号位是 1（表示负数），那么尾数的最高位必须是 0，反之亦然。这样的设计确保了浮点数的尾数部分能够以一种统一和标准化的方式进行表示和处理45。