Tvåkomplementsform

Från Wikipedia
Hoppa till: navigering, sök
3-bitars 2-komplement

Tvåkomplementsform är ett sätt att representera negativa tal med det binära talsystemet. Då utnyttjas den mest signifikanta biten för att markera talets tecken (signerad aritmetik). En förutsättning för att det här skall fungera är att man använder fast ordlängd.

I systemet finns bara en 0:a (andra representationer kan ha två), närmaste högre tal fås genom addition med 1 till den minst signifikanta biten (LSB) och invertering av tal sker genom bitvis invertering av alla bitar följt av en addition med 1 i LSB.

Definition[redigera | redigera wikitext]

Ett maskintal, det vill säga de tal som exempelvis datorn räknar med, mellan -1 och 1 med n bitar:

\tilde x = x_0 + x_1 * 2^{-1} + x_2 * 2^{-2} + ... + x_n * 2^{-n}

motsvarar det verkliga talet

x = - x_0 + x_1 * 2^{-1} + x_2 * 2^{-2} + ... + x_n * 2^{-n} \

Exempel[redigera | redigera wikitext]

Exemplen nedan använder en ordlängd på 8 bitar.

Representation Decimalt Hexadecimalt Binärt
Osignerad 0 - 255 0x00 - 0xFF 00000000 - 11111111
Signerad -128 - 127 0x80 - 0x7F 10000000 - 01111111

För att ändra ett tvåkomplementtals tecken inverteras först bitmönstret och sedan adderas 1.

Exempel:

Ursprungligt Decimalt Inverterat Plus 1 Decimalt
00000001 1 11111110 11111111 -1
11111111 -1 00000000 00000001 1
10101010 -86 01010101 01010110 86
00000000 0 11111111 00000000
10000000 -128 01111111 10000000 -128²

¹ Talet noll 0 har inget tecken och operationen är verkningslös!
² Här är bara teckenbiten satt och talet har inget värde.

Användning i datorer[redigera | redigera wikitext]

Eftersom binära talrepresentationer är vanliga i datorer används tvåkomplement oftast i begränsad precision, det vill säga att ett tal består av högst n stycken bitar. Detta gör att man inte kan hantera hur stora eller precisa tal som helst och man låter de binära talen representera tal mellan -1 och 1.

Att tvåkomplementsform kräver fast ordlängd kan vara en av datorernas största akilleshälar. För att göra en operation på två tal med olika ordlängd eller representation krävs att man typomvandlar det ena först och sådant tar tid. I C och C++ görs typomvandlingen vanligtvis automatiskt till den större typen men man kan tvinga den till valfri typ med en explicit typomvandling.

I detta system är talet positivt om den mest signifikanta biten är 0 och negativt om den är 1. Vid addition och subtraktion sker inga oegentligheter när 0:an passeras (carry-flaggan kan försummas), men när talomfånget överskrids inträffar spill, vilket gör att addition av två positiva tal kan ge ett negativt tal som summa (då ettställs spillflaggan).

Etymologi[redigera | redigera wikitext]

Representationssystemet har fått sitt namn från att \tilde x + \tilde {-x} = 2

Se även[redigera | redigera wikitext]