1.2 Darstellungsweise

Kommandos werden in folgender Form vorgestellt:

<Taste> Beispielkommando

Ab hier startet die Erklärung des Kommandos, etwas eingerückt.

Dabei bezeichnet <Taste> die Tastenfolge, die am Terminal eingegeben werden muß, um den Menüpunkt Beispielkommando anzuwählen.

Einzelne Menüpunkte werden teilweise als Randbemerkungen notiert.

Besondere Tasten und Zeichen

Die Taste <cr> steht für die Eingabe von Return bzw. Enter, <esc> für Escape und <space> für die Leertaste (zu den Tasten <delete> und <backspace> siehe die Bemerkungen auf Seite im Kapitel 2.2).

Das Zeichen oo steht für $\infty$ und ist durch ein einzelnes <o> einzugegeben (siehe z.B. unter unendliche Kapazität im Kapitel 2.5.3 auf Seite ).

Weitere Darstellungsweisen

Alle Beispieleingaben, Programmauszüge und Dateiausschnitte werden im gleichen Format wie das ursprüngliche gezeigt:

Der Text ist eingerueckt und in einer 

etwas kleineren Fixschrift gesetzt.

Verweise auf das Literaturverzeichnis haben folgende Form, wobei nicht immer eine genauere Beschreibung der Verweisstelle möglich ist: [Buchkürzel, Verweisstelle (Seiten)].

Eine Beschreibung der an vielen Stellen verwendeten EBNF-Syntax finden Sie auf Seite zu Beginn des Kapitels 2.3.4.