PL/0: Unterschied zwischen den Versionen
Aus KGS-Wiki
Sn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[PL/0]] ist eine vereinfachte "[[Programmiersprache]]", die aus sehr wenigen Sprachkonstrukten besteht und die sehr kompakt mit folgender [[Formale Sprache#Grammatik|Grammatik]] in [[EBNF]] beschrieben werden kann:<syntaxhighlight lang="ebnf" line="1"> | [[PL/0]] ist eine vereinfachte "[[Programmiersprache]]", die aus sehr wenigen Sprachkonstrukten besteht und die sehr kompakt mit folgender [[Formale Sprache#Grammatik|Grammatik]] in [[EBNF]] beschrieben werden kann:<syntaxhighlight lang="ebnf" line="1"> | ||
<program> = <block> | <program> = <block> "." | ||
<block> = [ CONST <ident> = <number> { , <ident> = <number> } ; ] | <block> = [ "CONST" <ident> "=" <number> { "," <ident> "=" <number> } ";" ] | ||
[ VAR <ident> { , <ident> } ; ] | [ "VAR" <ident> { "," <ident> } ";" ] | ||
{ PROCEDURE <ident> ; <block> ; } <statement> | { "PROCEDURE" <ident> ";" <block> ";" } <statement> | ||
<statement> = [ <ident> := <expression> | CALL <ident> | READ <ident> | WRITE <expression> | | <statement> = [ <ident> ":=" <expression> | "CALL" <ident> | "READ" <ident> | "WRITE" <expression> | | ||
"BEGIN" <statement> { ";" <statement> } "END" | | |||
"IF" <condition> "THEN" <statement> | | |||
"WHILE" <condition> "DO" <statement> ] | |||
<condition> = ODD <expression> | | <condition> = "ODD" <expression> | | ||
<expression> ( = | # | < | <= | > | >= ) <expression> | <expression> ( "=" | "#" | "<" | "<=" | ">" | ">=" ) <expression> | ||
<expression> = [ + | - ] <term> { ( + | - ) <term> } | <expression> = [ "+" | "-" ] <term> { ( "+" | "-" ) <term> } | ||
<term> = <factor> { ( * | / ) <factor> } | <term> = <factor> { ( "*" | "/" ) <factor> } | ||
<factor> = <ident> | <number> | "(" <expression> ")" | <factor> = <ident> | <number> | "(" <expression> ")" | ||
</syntaxhighlight>Als <code><ident></code> werden alle möglichen Bezeichner behandelt, als <code><number></code> numerische Werte. Die detaillierten Regeln dazu ersparen wir uns an dieser Stelle, damit die Ableitungen nicht zu kompliziert werden. Die | </syntaxhighlight>Als <code><ident></code> werden alle möglichen Bezeichner behandelt, als <code><number></code> numerische Werte. Die detaillierten Regeln dazu ersparen wir uns an dieser Stelle, damit die Ableitungen nicht zu kompliziert werden. | ||
Die Terminalsymbole sind in Anführungszeichen gesetzt, um sie von den Strukturelementen der Grammatik zu unterscheiden. | |||
Mit dieser Grammatik kann überprüft werden, ob ein Stück Programmtext syntaktisch korrekt ist, nämlich genau dann, wenn es problemlos aus dem Nichtterminalsymbol <code><program></code> abgeleitet werden kann. | Mit dieser Grammatik kann überprüft werden, ob ein Stück Programmtext syntaktisch korrekt ist, nämlich genau dann, wenn es problemlos aus dem Nichtterminalsymbol <code><program></code> abgeleitet werden kann. | ||
| Zeile 30: | Zeile 31: | ||
aquadrat := a * a; | aquadrat := a * a; | ||
WRITE aquadrat | WRITE aquadrat | ||
END | END. | ||
</syntaxhighlight>Der dazugehörige Ableitungsbaum sieht folgendermaßen aus: | </syntaxhighlight>Der dazugehörige Ableitungsbaum sieht folgendermaßen aus: | ||
{{#mermaid:graph TD | {{#mermaid:graph TD | ||
p("<code><program></code>") --- b("<code><block></code>") --- kw1("<code><strong>VAR</strong></code>") & i1("<code><ident></code>") & sem1("<code><strong>;</strong></code>") & s1("<code><statement></code>") | p("<code><program></code>") --- b("<code><block></code>") & op0("<code><strong>.</strong></code>") | ||
b --- kw1("<code><strong>VAR</strong></code>") & i1("<code><ident></code>") & sem1("<code><strong>;</strong></code>") & s1("<code><statement></code>") | |||
i1 --- a1("<code><strong>a</strong></code>") | i1 --- a1("<code><strong>a</strong></code>") | ||
s1 --- kw2("<code><strong>BEGIN</strong></code>") & s2("<code><statement></code>") & sem2("<code><strong>;</strong></code>") & s3("<code><statement></code>") & sem3("<code><strong>;</strong></code>") & s4("<code><statement></code>") & kw3("<code><strong>END</strong></code>") | s1 --- kw2("<code><strong>BEGIN</strong></code>") & s2("<code><statement></code>") & sem2("<code><strong>;</strong></code>") & s3("<code><statement></code>") & sem3("<code><strong>;</strong></code>") & s4("<code><statement></code>") & kw3("<code><strong>END</strong></code>") | ||
Version vom 6. September 2023, 15:07 Uhr
PL/0 ist eine vereinfachte "Programmiersprache", die aus sehr wenigen Sprachkonstrukten besteht und die sehr kompakt mit folgender Grammatik in EBNF beschrieben werden kann:
<program> = <block> "."
<block> = [ "CONST" <ident> "=" <number> { "," <ident> "=" <number> } ";" ]
[ "VAR" <ident> { "," <ident> } ";" ]
{ "PROCEDURE" <ident> ";" <block> ";" } <statement>
<statement> = [ <ident> ":=" <expression> | "CALL" <ident> | "READ" <ident> | "WRITE" <expression> |
"BEGIN" <statement> { ";" <statement> } "END" |
"IF" <condition> "THEN" <statement> |
"WHILE" <condition> "DO" <statement> ]
<condition> = "ODD" <expression> |
<expression> ( "=" | "#" | "<" | "<=" | ">" | ">=" ) <expression>
<expression> = [ "+" | "-" ] <term> { ( "+" | "-" ) <term> }
<term> = <factor> { ( "*" | "/" ) <factor> }
<factor> = <ident> | <number> | "(" <expression> ")"
Als <ident> werden alle möglichen Bezeichner behandelt, als <number> numerische Werte. Die detaillierten Regeln dazu ersparen wir uns an dieser Stelle, damit die Ableitungen nicht zu kompliziert werden.
Die Terminalsymbole sind in Anführungszeichen gesetzt, um sie von den Strukturelementen der Grammatik zu unterscheiden.
Mit dieser Grammatik kann überprüft werden, ob ein Stück Programmtext syntaktisch korrekt ist, nämlich genau dann, wenn es problemlos aus dem Nichtterminalsymbol <program> abgeleitet werden kann.
Beispiel
Dieses PL/0-Programm liest eine Zahl vom Benutzer ein (READ a), berechnet ihr Quadrat und gibt dieses dann aus (WRITE aquadrat)
VAR a, aquadrat;
BEGIN
READ a;
aquadrat := a * a;
WRITE aquadrat
END.
Der dazugehörige Ableitungsbaum sieht folgendermaßen aus:
