Algorithmen
Ein Algorithmus ist eine Handlungsanleitung
zur Lösung eines Problems, in Form von Ein-
zelschritten, die
• in einem endlichen Text eindeutig beschrie-
ben werden kann.
• aus tatsächlich ausführbaren Schritten be-
steht.
• nicht unendlich viel Speicherplatz benötigt.
• nach endlich vielen Schritten zum Ende
kommt.
• unter gleichen Bedingungen immer das
gleiche Ergebnis liefert.
• eindeutig festlegt welcher Schritt als
nächstes erfolgen muss.
Ein Algorithmus macht aus eine Eingabe durch
Verarbeitung eine Ausgabe (Ergebnis). Das ist
das EVA-Prinzip (Eingabe – Verarbeitung –
Ausgabe).
Ein Beispiel für einen Algorithmus ist der eukli-
dische Algorithmus, der für zwei natürliche Zah-
len den größten gemeinsamen Teiler (GGT) be-
stimmt. Die Eingabe besteht also aus den zwei
Zahlen, deren größter GGT bestimmt werden
soll und die Ausgabe (also das Ergebnis) ist der
GGT.
Die Vorgehensweise ist folgende.
a) Die beiden Zahlen werden verglichen. Sind
beide Zahlen gleich, sind wir fertig und je-
de der beiden Zalen ist der GGT (also das
Ergebnis).
b) Wir ersetzen die größere der beiden Zah-
len durch die Differenz der beiden Zahlen
(größere Zahl minus kleinere Zahl) und er-
halten so wieder zwei Zahlen (kleinere Zahl
und Differenz).
c) Mit diesen beiden neuen Zahlen fahren wir
mit a) fort.
Struktogramme
Algorithmen können auf verschiedene Arten no-
tiert werden. Eine Möglichkeit ist ein einfa-
cher Text, eine andere sind Nassi-Shneiderman-
Diagramme, die auch Struktogramme genannt
werden. Diese bestehen aus folgenden Elemen-
ten, die üblicherweise in Form eines Rechtecks
notiert werden:
• eine einfache Anweisung (Zuweisung, Ein-
gabe, Ausgabe, Programmende, Funktions-
aufruf)
• eine Verzweigung
– eine einfache Verzweigung
– eine Mehrfachverzeigung
• eine Schleife
– eine kopfgesteuerte Schleife
– eine fußgesteuerte Schleife
– eine zählergesteuerte Schleife
• eine Folge (Sequenz, Block) von Anwei-
sungen (einfache Anweisung, Verzweigung,
Schleife)
Optional (aber sinnvoller Weise) kann ei-
nem Struktogramm ein Kopfelement hinzu-
gefügt werden, in dem der Name des Strukto-
gramms (bzw. der darin beschriebenen Funkti-
on), Übergabeparameter und die verwendeten
Variablen aufgeführt werden.
Einfache Anweisung:
Ein Zuweisung wird als Rechteck dargestellt, in
dem rechts ein Ausdruck steht, links eine Varia-
ble oder ein Arrayelement und dazwischen :=“.
”
x := 2*x+4
Eine Variable ist ein Speicherplatz, dem wir
einen Namen gegeben haben unter dem wir ihn
ansprechen. Hier heißt der Speicherplatz x“.
”
Für alle Namen sollten wir die Konvention ein-
halten, dass das erste Zeichen immer ein Buch-
stabe sein sollte und nachfolgend nur Buch-
staben und Ziffern sowie der Unterstreichstrich
enthalten sind.
Ein Array ist eine nummerierte Liste von Spei-
cherplätzen, denen wir zusammen einen Namen
gegeben haben. Die Nummerierung beginnt mit
0. Wenn wir also das erste Element im Array
mit dem Namen autos“ meinen, dann schrei-
”
ben wir autos[0]“. Die Nummer des gemeinten
” Hier soll eine Funktion Bubblesort“ mit einer
Elements (eine Zahl oder ein Ausdruck, dessen
Wert eine Zahl ist), wird in eckigen Klammern
an den Namen des Arrays angehängt.
Wenn wir den Wert eines Ausdrucks berechnen
wollen, dann schreiben wir das als Zuweisung,
da der berechnete Wert sofort wieder verges-
sen wird, wenn wir ihn nicht in einen Speicher
schreiben.
Bei einer Eingabe wird ein Datum (Einzahl von
Daten“), das von einer externen Quelle kommt,
”
in einen Speicherplatz (Variable, Arrayelement)
gespeichert.
Eingabe x
Dabei muss der Name der Variablen (bzw. des
Arrayelements) angegeben werden. Der Wert,
der eingegeben wird, steht erst zur Laufzeit fest.
Bei einer Ausgabe wird ein Datum an eine ex-
terne Stelle übergeben. Dabei muss das Datum
in Form eine Ausdrucks (z.B. auch einer Zei-
chenkette) angegeben werden.
Ausgabe "Hallo!"
Hier wird die Zeichenkette Hallo!“ ausgegeben.
” und zwei Anweisungsblöcken. Trifft die Bedin-
Jeder Algorithmus muss zu einem Ende kom-
men und dieses wird durch ein eigenes Symbol
dargestellt. Falls der Algorithmus ein Ergebnis
hat, wird dieses im Symbol angegeben.
Rückgabe: x+2
Besitzt die Funktion kein Ergebnis, dann bleibt
das Symbol einfach leer. Zum Beispiel wäre
das Ergebnis des euklidischen Algorithmus der
GGT der beiden vorgegebenen Zahlen, während
der Bubblesort kein Ergebnis besitzt, sondern
einfach die zu sortierende Liste mit geänderter
Reihenfolge hinterlässt.
Ein Funktionsaufruf bedeutet, dass eine andere
Funktion, die in einem anderen Struktogramm
beschrieben wird, an dieser Stelle ausgeführt
werden soll.
Bubblesort(a)
”
Variablen a“ etwas machen (z.B. könnte die
”
Variable eine Liste von Zahlen enthalten, die
erst sortiert und dann ausgegeben werden sol-
len). Ein solcher Funktionsaufruf verwendet ei-
ne Funktion, die kein Ergebnis liefert, oder de-
ren Ergebnis ignoriert wird.
Funktionen, die ein Ergebnis haben, können
auch in Ausdrücken verwendet werden.
Verzweigung:
Bei einer Verzweigung gibt es mehrere
Möglichkeiten; im einfachsten Fall sind es
zwei, dann liegt eine einfache Verzweigung vor.
x=2 ?
Ja Nein
k k
oc loc
- Bl in-
B
Ja Ne
Die Verzweigung besteht aus einer Bedingung
gung zu (ist sie wahr), so wird der Ja-Block
ausgeführt (nicht aber den Nein-Block. Trifft sie
nicht zu (ist sie nicht wahr), dann wird der Nein-
Block ausgeführt (nicht aber der Ja-Block.
Einer der beiden Blöcke darf leer sein, der Fall,
dass beide leer sind, ergibt keinen Sinn.
Bei einer Mehrfachverzweigung gibt es mehr als
zwei Möglichkeiten, die je nach Wert der Aus-
wahlvariablen (hier: x) ausgeführt werden.
 x=? ck
lo r)
B e
g s- rp
n kö
i su fen
e ei
1 2 4 5 sonst nw chl
A S
(
k

k
oc

oc

oc

oc

loc
solange x < 10
l

l
1-B

2-B

4-B

5-B

t-B
ns
Das hat zur Folge, dass bei deiner solchen

so
Je nach dem Wert der Auswahlvariablen wird
der zugehörige Block ausgeführt. Ist der Wert
von x nicht aufgeführt, wird der sonst-Block
ausgeführt.
Schleife der Schleifenkörper immer mindestens
einmal durchlaufen wird.
Bei der zählergesteuerten Schleife (auch kurz
Zählschleife) wird eine Zählervariable (Zähler)
benötigt.
i = 1 .. 22 Schrittweite 3

Schleifen ck
lo r)
-B pe
n gs ör
k
Schleifen dienen der wiederholten Ausführung su n
ei eife
eines Ausführungsblocks. nw l
A Sch
(
Wir unterscheiden kopfgesteuerte Schleifen,
fußgesteuerte Schleifen und zählergesteuerte
Schleifen. Die Zählvariable durchläuft die Werte vom An-
fangswert bis zum Endwert mit der angege-
Bei der kopfgesteuerten Schleife steht im Kopf benen Schrittweite und für jeden Wert der
eine Bedingung, die Abbruchbedingung“ ge- Zählvariablen wird der Schleifenkörper durch-
”
nannt wird (obwohl Weitermachbedingung“ laufen. Der Wert der Zählvariablen kann im
”
zutreffender wäre). Schleifenkörper verwendet werden.
solange x < 10 Ist keine Schrittweite angegeben, so ist sie 1.
ck
lo r)
B e
g s- rp
n kö Anweisungsfolge
i su fen
e ei
nw chl
A S
( Eine Anweisungfolge besteht aus einer Folge
von Anweisungen. Diese werden üblicherweise
so untereinander angeordnet, dass sie links- und
Der Kopf der Schleife enthält eine Bedingung rechtsbündig ausgerichtet sind.
und wenn diese erfüllt ist, dann wird der Schlei-
fenkörper (das ist ein Anweisungblock) aus- Ein Struktogramm besteht aus einem optio-
geführt. Ist die Bedingung nicht (nicht mehr) nalen Kopf und einer Anweisungsfolge. In der
erfüllt, dann wird die Schleife beendet. Anweisungsfolge können Anweisungen enthal-
ten sein, die wiederum Anweisungfolgen enthal-
Die Fußgesteuerte Schleife unterscheidet sich ten. Am Ende der äußeren Anweisungsfolge ei-
von der kopfgesteuerten darin, dass die Ab- nes Struktogrammes muss nur dann ein Pro-
bruchbedingung jeweils nach der Ausführung grammendesymbol stehen, wenn ein Ergebnis
des Scheifenkörpers überprüft wird. zurückgegeben werden soll.
Grundsätzlich können Struktogramme sehr B


kompliziert werden, es lohnt sich aber, dies zu
liste: array ganzer Zahlen (Übergabepara-
vermeiden, indem man Teile der Verarbeitung
meter)
in andere Funktionen (andere Struktogramme) n: Anzahl der Elemente in liste
auslagert. dummy: ganze Zahl (Hilfsvariable)
i = 1..n-1
k = 1..n-1
a[k-1]>a[k] ?
Ja Nein
Beispiele dummy := a[k-1]
a[k-1] := a[k]
a[k] := dummy
Euklidischer Algorithmus

euklidischer Algorithmus
a: positive ganze Zahl
b: positive ganze Zahl
ai: positive ganze Zahl
bi: positive ganze Zahl
Eingabe a
Eingabe b
ai := a
bi := b
solange a != b
a>b?
Ja Nein
a := a-b b := b-a
Ausgabe "Der GGT der Zahlen "
Ausgabe ai
Ausgabe "und "
Ausgabe bi
Ausgabe " ist "
Ausgabe a

Bubblesort

Hier wird die maximal notwendige Anzahl von

Durchläufen der inneren Schleife ausgeführt.
Man könnte, wenn bei einem Durchlauf dieser
Schleife keine Vertauschung stattfindet bereits
abbrechen. Das wäre effektiver, aber auch ein
wenig komplizierter.