WikiDer > GCL

GCL steht für Bewachte Befehlssprache, entwickelt von Edsger Dijkstraße. Dies ist nur eine theoretische Sprache, es gibt keine Compiler diese Sprache in ein ausführbares Programm umzuwandeln. Es vereint auf sehr kompakte Weise die grundlegendsten Programmierkonzepte, die dann einfach in die Programmiersprache optional. Aufgrund ihrer Einfachheit lassen sich die Programme viel einfacher auf Richtigkeit überprüfen, indem Sie die Hoarelogica.

Die Sprache besteht aus den folgenden fünf Aussagen:

• Überspringen

Skip tut nichts. In manchen Situationen ist es nützlich, diese Anweisung verwenden zu können.

• Zuweisung

x := y

• Verkettung

Aussage1 ; Aussage2

Diese Konstruktion wird verwendet, um zwei Anweisungen zu verbinden. Aussage1 wird zuerst ausgeführt, dann Aussage2.

• Auswahl

wenn p ${displaystyle ightarrow }$Aussage[] ${Anzeigestil zB }$p${displaystyle ightarrow }$Aussagefi

wobei P ein Satz ist. Die [] ermöglichen es, die richtigen Aussagen für andere Aussagen auszuführen. Die Anzahl solcher Blöcke in einer Auswahlanweisung ist nicht begrenzt.

• Probe

tun p ${displaystyle ightarrow }$Aussageod

wobei P ein Satz ist. Solange P erfüllt ist, wird es Aussage hingerichtet.