Maschinenzahl

Unter einer Maschinenzahl versteht man eine Zahl, die im Computer in binärer Form gespeichert wird. Man unterscheidet dabei Integerzahlen (Ganze Zahlen) und Gleitkommazahlen oder Realzahlen (Reelle Zahlen).

Auf Grund der Darstellung in einem konkret vorgegebenen Speicherformat entsteht ein endlicher Zahlenvorrat. Integerzahlen können mit Vorzeichen bei einer Länge von n Bit im Zweierkomplement die Zahlen von $-2^{(n-1)}$ bis $+2^{(n-1)}-1$ abbilden, ohne Vorzeichen von 0 bis $2^n-1$. Bei einer Länge von 8 Bit (ein Byte) können also mit Vorzeichen die Zahlen von −128 bis +127 gespeichert werden, ohne Vorzeichen von 0 bis 255.

Reelle Zahlen werden als Kombination aus Mantisse * Exponent gespeichert. Auf Grund dessen entstehen Rundungsfehler, wenn das Ergebnis nicht zufälligerweise wieder genau eine Maschinenzahl trifft. Wie diese Zahlen konkret gespeichert werden können, ist teilweise genormt – z. B. IEEE 754.

Die Reduktionsabbildung

Die Reduktionsabbildung $fl:ℝ\to ℝ$ bildet eine (exakte) reelle Zahl $x$ auf die Computerdarstellung $fl(x)$ ab.

Man kann grundsätzlich jede reelle Zahl $x\in ℝ\setminus \{0\}$ eindeutig in einer Potenzreihendarstellung zur Basis $b\in \mathbb{N}\setminus \{1\}$ darstellen:

$x=\pm \left(\sum _{j=1}^{\mathrm{\infty }}{d}_j{b}^{-j}\right)b^e$,

wobei folgende Einschränkungen (für Eindeutigkeit) gelten sollen:

$\begin{array}{cc}{d}_j& \in {\mathbb{N}}_0\text{mit}\{\begin{array}{c}1\le d_1<b\\ 0\le d_j<b,j=2,3,\dots \end{array}\\ e& \in \mathbb{Z}.\end{array}$

In einer Computerdarstellung können nicht unbegrenzt lange Mantissen $d_j,j\in \mathbb{N}$ abgespeichert werden, sondern immer nur eine endliche Mantisse $d_j,j=1,2,\dots ,m$ mit der Mantissenlänge $m\in \mathbb{N}$. Des Weiteren gibt es auch ein einschränktes Intervall für den Exponenten: $-r\le e\le R$ mit $r,R\in \mathbb{N}$.

Die Reduktionsabbildung $fl:ℝ\to ℝ$ wird wie folgt definiert:

$fl(x):=\pm \{\begin{array}{cc}\left(\sum _{j=1}^m{d}_j{b}^{-j}\right)\cdot b^e& \text{falls}{d}_{m+1}<\frac{b}{2}\\ (\sum _{j=1}^m{d}_j{b}^{-j}+b^{-m})\cdot b^e& \text{falls}{d}_{m+1}\ge \frac{b}{2}.\end{array}$

Anmerkungen

Die Zahl $x=0$ kann auch exakt dargestellt werden mittels: $fl(0):=0$.

Für $x\in ℝ,x\ne 0$ mit einem Exponenten $e$, der nicht im Intervall $[-r,R]$ liegt, wird die Reduktionsabbildung wie folgt definiert:

$\begin{array}{c}fl(x):=\{\begin{array}{cc}0,& e<-r\\ \mathrm{sgn}(x)\cdot \mathrm{\infty },& e>R.\end{array}\end{array}$

Wichtig hierbei zu beachten ist, dass $fl$ weder injektiv noch surjektiv ist. Es werden nämlich viele Zahlen $x$ mit derselben Maschinenzahl dargestellt (deshalb nicht injektiv) bzw. das Bild der Funktion ist nur eine endliche Menge (deshalb nicht surjektiv).

Ein weiterer oft benutzter Namen für die Reduktionsabbildung lautet: $fl(x)=rd(x)$.

Mit ihrer Hilfe kann der absolute Rundungsfehler bei der Kodierung einer Zahl ermittelt werden.

Siehe auch

• die Genauigkeit der Darstellung mittels Maschinenzahlen beschreibt die Maschinengenauigkeit
• Optimierung der Anzahl von Maschinen für technische und wirtschaftliche Abläufe

Weblinks

• Film zu einer Vorlesung von Frank Loose