机器数补码全字长数位说

大量现行教材与专著中所表述的"机器数补码首位是符号位"之说,其补码加法法则不能被解释,令人困惑。对机器数补码全字长各位定义了位权,提出了"首位负权记数制"及新的机器数补码数据模型。在这个新的模型下,建立了补码与其真值的等量映射,论证了机器数补码的表值域,论证了补码真值负与非负的判定法则及机器数补码x与其真值y二者之间相互转换的求解法则;给出了机器数补码的加法法则,论证了在封闭运算条件下机器数补码加法的等效加法运算法则。揭示了机器系统内部补码信息表示的内涵与补码加法法则的真相,建立了"机器数补码全字长数位说"。"机器数补码首位符号说"中种种无可释然的困惑,在"机器数补码全字长数位说"里不复存在。