Adele (Algorithmenbeschreibungssprache)

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Algorithm description language)

Adele (algorithm description language) ist eine Algorithmenbeschreibungssprache, welche sich auf essenzielle Sprachkonstrukte beschränkt. Infolgedessen ist Adele weitestgehend frei von syntaktischem Ballast und lässt dem Anwender viele Ausdrucksmöglichkeiten, wodurch das Lesen der Algorithmen erleichtert wird. Adele ist eine Pseudocode-Sprache, dessen Modellierung von Algorithmen jedoch weniger abstrakt ist. Der Adele-Syntax hat Einflüsse aus verschiedenen Programmiersprachen, lehnt sich aber hauptsächlich an Pascal und Modula-2 an. Eine andere Algorithmenbeschreibungssprache, welche sich jedoch an die Java-Syntax anlehnt, ist Jana.

Die in Adele geschriebenen Algorithmen sind nicht an eine spezifische Programmiersprache gebunden, so dass die Algorithmen lediglich als eine Art Schablone dienen und die spätere Implementierung in der gewünschten Programmiersprache erfolgen muss. Insbesondere eignet sich Adele zu Lehrzwecken, wenn man beispielsweise als Buchautor keine konkrete Programmiersprache für die Beschreibung seiner Algorithmen verwenden möchte.

Gesamtstruktur und Schreibkonvention

Funktionen

Funktionen besitzen einen Namen, einen Rückgabetyp, Ein- und Ausgabeparameter. Verschiedene Parameter werden durch Leerzeichen getrennt.

Beispiel

Mein_Algorithmus(↓param1 ↓param2 ↑param3): Integer
begin
   ANWEISUNG(EN)
   return param3
end Mein_Algorithmus

↓ steht für ein Eingabeparameter (hier: param1 und param2) und ↑ für Ausgabe- bzw. Rückgabeparameter (hier: param3). Darüber hinaus werden Übergangsparameter mit ↕ gekennzeichnet.

Zu beachten ist, dass die Typisierung der Parameter nicht in der Signatur stattfindet, sondern im Funktionsrumpf durch param.

Beispiel:

Mein_Algorithmus(↓param1 ↓param2 ↑param3): Integer
param param1: Integer;
      param2: Boolean;
begin
   ANWEISUNG(EN)
   return param3
end Mein_Algorithmus

Variablen

Die Zuweisung von Variablen ist sehr suggestiv und identisch mit den meisten Programmiersprachen. Als Konvention ist es sinnvoll, Variablen mit einem kleinen Buchstaben zu beginnen.

Die Syntax lautet:

Variable := Ausdruck

Beispiel:

meine_variable := 5;

Prozedur-/Funktionsaufrufe

Der Funktionsaufruf erfolgt wie eine gewöhnliche Anweisung. Eventuell erforderliche Übergabeparameter werden mit einem ↑ gekennzeichnet (mehrere Parameter werden mit Leerzeichen getrennt). Um Variablen besser von Funktionen unterscheiden zu können, ist es sinnvoll, den Anfangsbuchstaben groß zu schreiben.

Syntax:

Funktionsname(↑parameter_1 ↑parameter_2... ↑parameter_n)

Beispiel:

Meine_Funktion(↑param1)

Anweisungsblöcke

Anweisungsblöcke werden in aller Regel mit einem end abgeschlossen (Modula-2-Konvention). Lediglich repeat... until benötigen kein end.

Bedingungen

  • Syntax von if-Bedingungen:
if AUSDRUCK then ANWEISUNG(EN)
{elsif AUSDRUCK then ANWEISUNG(EN)}
[else ANWEISUNG(EN)]
end
  • Syntax von case-Bedingungen:
case AUSDRUCK of
| Marke: ANWEISUNG(EN)
| Marke: ANWEISUNG(EN)
...
[else ANWEISUNG(EN)]
end

Schleifen und Schleifenabbrüche

  • Syntax von while-Schleifen:
while AUSDRUCK do ANWEISUNG(EN) end
  • Syntax von repeat-Schleifen:
repeat ANWEISUNG(EN) until AUSDRUCK
  • Syntax von for-Schleifen:
for VARIABLE := AUSDRUCK to AUSDRUCK [by AUSDRUCK] to ANWEISUNG(EN) end

VARIABLE ist nach dem Schleifendurchlauf undefiniert.

  • Syntax von loop:
loop ANWEISUNG(EN) exit end
  • Verlassen einer inneren Loop-Anweisung mit
exit

Abbruch und Rückgabewerte von Prozeduren/Funktionen

  • Verlassen einer Funktion mit
return
  • Verlassen einer Funktion mit Rückgabewert durch
return AUSDRUCK
  • Beenden eines Algorithmus ohne Rückkehr zum übergeordneten Algorithmus durch
halt

Ein- und Ausgabe

  • Lese ein Mediem an der Position x oder dem Dateiende aus
Read(↑x ↑eof)
  • Schreibe x auf ein Medium
Write(↓x)
  • Zeilenumbruch auf dem Ausgabemedium
WriteLn

Ausdrücke

Ausdrücke bestehen aus den in anderen Programmiersprachen üblichen Operationen (+, -, |, & etc.) und Kombinationen aus Operanden und Operationen. Für boolesche Ausdrücke wird die Kurzschlussauswertung verwendet.

Deklarationen

Variablen und Konstanten können in Adele zwischen Funktionskopf und beginn deklariert werden:

Syntax für Variablen:

Variable: Typ

Syntax für Konstanten:

Konstante = Wert

Beispiel:

Meine_Funktion(↓param1 ↓param2 ↑param3): Integer
variable1: Integer;
variable2: Boolean;
konstante1 = 10;
konstante2 = 3;
...
begin
   ANWEISUNG(EN)
   return param3
end Meine_Funktion

Datentypen

Es werden die in Pascal und Modula-2 üblichen Datentypen zur Verfügung gestellt:

Modifier

  • static

Variablen können als statisch deklariert werden, wodurch ihr Wert nach dem Funktionsende nicht verworfen wird und beim nächsten Aufruf der Funktion wieder zur Verfügung steht.

static variable: Typ
  • static mit Vorinitialisierung durch init
static variable: Typ init(false)

param Die Typzuweisung findet in Adele nicht in Signatur statt. Durch param können Funktionsparametern Typen zugewiesen werden. param kann auf mehrere Variablen hintereinander angewendet werden.

param parameter: Typ;

Siehe Beispiel unter Funktionen

  • local

Durch local können lokale Variablen wie z. B. Schleifenvariablen deklariert werden. local kann auf mehrere Variablen hintereinander angewendet werden.

local variable: Typ;
  • global

Durch global können globale Variablen (auch aus einer Funktion heraus) deklariert werden. global kann auf mehrere Variablen hintereinander angewendet werden.

global variable: Typ;

Kommentare

Adele benutzt für Kommentare die Ada-Schreibweise. Kommentare werden durch ein Doppel-Minus eingeleitet und gehen bis zum Ende der Zeile. Mehrzeilige Kommentare sind nicht möglich:

Beispiel:

-- Dies ist ein Kommentar

Standardfunktionen

In Adele sollten keine spezifischen Funktionen einer konkreten Programmiersprache benutzt werden, denn Adele soll so allgemein wie möglich gehalten werden. Daher ist es sinnvoll, nur Funktionen zu benutzen deren Zweck unmittelbar aus dem Funktionsnamen hervorgeht oder statt einer Funktion entsprechende Anweisungen zu benutzen.

Beispiele:

statt INC(i): i:=i+1
statt ODD(i): i mod 2 = 1

Zulässig hingegen sind:

  • Ord(↓ch)

Liefert den Ordinalwert eines Zeichens.

  • Chr(↓x)

Liefert das Zeichen für den Ordinalwert x.

Klassen, Objekte, Module und andere Konstrukte

Für alle restlichen Konstrukte gibt es keine Vorschriften. Es wird allerdings empfohlen, die Notation der Pascal-Sprache anzuwenden.

Literatur und Quellen

  • Rechenberg und Pomberger: Informatik-Handbuch. Carl-Hanser-Verlag, München/Wien 2002. 1189 S. ISBN 3-446-21842-4