Wirth syntax notation
- 4 min read
- 3 chapters
Related on Lably
Through Data modeling and ASCII
WSN has been used in several international standards, starting with ISO 10303-21. It was also used to define the syntax of EXPRESS, the data modelling language of STEP.
WSN defined in itself
<span id="mwGg"></span> <span class="k" id="mwGw">SYNTAX </span><span class="o" id="mwHA">=</span> <span class="p" id="mwHQ">{</span> <span class="k" id="mwHg">PRODUCTION </span><span class="p" id="mwHw">}</span> <span class="p" id="mwIA">.</span> <span class="k" id="mwIQ">PRODUCTION </span><span class="o" id="mwIg">=</span> <span class="k" id="mwIw">IDENTIFIER </span><span class="s2" id="mwJA">"="</span> <span class="k" id="mwJQ">EXPRESSION </span><span class="s2" id="mwJg">"."</span> <span class="p" id="mwJw">.</span> <span class="k" id="mwKA">EXPRESSION </span><span class="o" id="mwKQ">=</span> <span class="k" id="mwKg">TERM </span><span class="p" id="mwKw">{</span> <span class="s2" id="mwLA">"|"</span> <span class="k" id="mwLQ">TERM </span><span class="p" id="mwLg">}</span> <span class="p" id="mwLw">.</span> <span class="k" id="mwMA">TERM </span><span class="o" id="mwMQ">=</span> <span class="k" id="mwMg">FACTOR </span><span class="p" id="mwMw">{</span> <span class="k" id="mwNA">FACTOR </span><span class="p" id="mwNQ">}</span> <span class="p" id="mwNg">.</span> <span class="k" id="mwNw">FACTOR </span><span class="o" id="mwOA">=</span> <span class="k" id="mwOQ">IDENTIFIER</span> <span class="p" id="mwOg">|</span> <span class="k" id="mwOw">LITERAL</span> <span class="p" id="mwPA">|</span> <span class="s2" id="mwPQ">"["</span> <span class="k" id="mwPg">EXPRESSION </span><span class="s2" id="mwPw">"]"</span> <span class="p" id="mwQA">|</span> <span class="s2" id="mwQQ">"("</span> <span class="k" id="mwQg">EXPRESSION </span><span class="s2" id="mwQw">")"</span> <span class="p" id="mwRA">|</span> <span class="s2" id="mwRQ">"{"</span> <span class="k" id="mwRg">EXPRESSION </span><span class="s2" id="mwRw">"}"</span> <span class="p" id="mwSA">.</span> <span class="k" id="mwSQ">IDENTIFIER </span><span class="o" id="mwSg">=</span> <span class="k" id="mwSw">letter </span><span class="p" id="mwTA">{</span> <span class="k" id="mwTQ">letter </span><span class="p" id="mwTg">}</span> <span class="p" id="mwTw">.</span> <span class="k" id="mwUA">LITERAL </span><span class="o" id="mwUQ">=</span> <span class="s2" id="mwUg">""""</span> <span class="k" id="mwUw">character </span><span class="p" id="mwVA">{</span> <span class="k" id="mwVQ">character </span><span class="p" id="mwVg">}</span> <span class="s2" id="mwVw">""""</span> <span class="p" id="mwWA">.</span>The equals sign indicates a production. The element on the left is defined to be the combination of elements on the right. A production is terminated by a full stop (period).
- Repetition is denoted by curly brackets, e.g., {a} stands for ε | a | aa | aaa | ....
- Optionality is expressed by square brackets, e.g., [a]b stands for ab | b.
- Parentheses serve for groupings, e.g., (a|b)c stands for ac | bc.
We take these concepts for granted today, but they were novel and even controversial in 1977. Wirth later incorporated some of the concepts (with a different syntax and notation) into extended Backus–Naur form.
Notice that letter and character are left undefined. This is because numeric characters (digits 0 to 9) may be included in both definitions or excluded from one, depending on the language being defined, e.g.:
<span id="mwcQ"></span> <span class="k" id="mwcg">digit </span><span class="o" id="mwcw">=</span> <span class="s2" id="mwdA">"0"</span> <span class="p" id="mwdQ">|</span> <span class="s2" id="mwdg">"1"</span> <span class="p" id="mwdw">|</span> <span class="s2" id="mweA">"2"</span> <span class="p" id="mweQ">|</span> <span class="s2" id="mweg">"3"</span> <span class="p" id="mwew">|</span> <span class="s2" id="mwfA">"4"</span> <span class="p" id="mwfQ">|</span> <span class="s2" id="mwfg">"5"</span> <span class="p" id="mwfw">|</span> <span class="s2" id="mwgA">"6"</span> <span class="p" id="mwgQ">|</span> <span class="s2" id="mwgg">"7"</span> <span class="p" id="mwgw">|</span> <span class="s2" id="mwhA">"8"</span> <span class="p" id="mwhQ">|</span> <span class="s2" id="mwhg">"9"</span> <span class="p" id="mwhw">.</span> <span class="k" id="mwiA">upper-case </span><span class="o" id="mwiQ">=</span> <span class="s2" id="mwig">"A"</span> <span class="p" id="mwiw">|</span> <span class="s2" id="mwjA">"B"</span> <span class="p" id="mwjQ">|</span> <span class="err" id="mwjg">…</span> <span class="p" id="mwjw">|</span> <span class="s2" id="mwkA">"Y"</span> <span class="p" id="mwkQ">|</span> <span class="s2" id="mwkg">"Z"</span> <span class="p" id="mwkw">.</span> <span class="k" id="mwlA">lower-case </span><span class="o" id="mwlQ">=</span> <span class="s2" id="mwlg">"a"</span> <span class="p" id="mwlw">|</span> <span class="s2" id="mwmA">"b"</span> <span class="p" id="mwmQ">|</span> <span class="err" id="mwmg">…</span> <span class="p" id="mwmw">|</span> <span class="s2" id="mwnA">"y"</span> <span class="p" id="mwnQ">|</span> <span class="s2" id="mwng">"z"</span> <span class="p" id="mwnw">.</span> <span class="k" id="mwoA">letter </span><span class="o" id="mwoQ">=</span> <span class="k" id="mwog">upper-case </span><span class="p" id="mwow">|</span> <span class="k" id="mwpA">lower-case </span><span class="p" id="mwpQ">.</span>
If character goes on to include digit and other printable ASCII characters, then it diverges even more from letter, which one can assume does not include the digit characters or any of the special (non-alphanumeric) characters.
Sign in to keep reading
2 more chapters are free with a Lably account.
Another example
The syntax of BNF can be represented with WSN as follows, based on translating the BNF example of itself:
<span id="mwsQ"></span> <span class="k" id="mwsg">syntax </span><span class="o" id="mwsw">=</span> <span class="k" id="mwtA">rule </span><span class="p" id="mwtQ">[</span> <span class="k" id="mwtg">syntax </span><span class="p" id="mwtw">]</span> <span class="p" id="mwuA">.</span> <span class="k" id="mwuQ">rule </span><span class="o" id="mwug">=</span> <span class="k" id="mwuw">opt-whitespace </span><span class="s2" id="mwvA">"<"</span> <span class="k" id="mwvQ">rule-name </span><span class="s2" id="mwvg">">"</span> <span class="k" id="mwvw">opt-whitespace </span><span class="s2" id="mwwA">"::="</span> <span class="k" id="mwwQ">opt-whitespace expression line-end </span><span class="p" id="mwwg">.</span> <span class="k" id="mwww">opt-whitespace </span><span class="o" id="mwxA">=</span> <span class="p" id="mwxQ">{</span> <span class="s2" id="mwxg">" "</span> <span class="p" id="mwxw">}</span> <span class="p" id="mwyA">.</span> <span class="k" id="mwyQ">expression </span><span class="o" id="mwyg">=</span> <span class="k" id="mwyw">list </span><span class="p" id="mwzA">[</span> <span class="s2" id="mwzQ">"|"</span> <span class="k" id="mwzg">expression </span><span class="p" id="mwzw">]</span> <span class="p" id="mw0A">.</span> <span class="k" id="mw0Q">line-end </span><span class="o" id="mw0g">=</span> <span class="k" id="mw0w">opt-whitespace EOL </span><span class="p" id="mw1A">|</span> <span class="k" id="mw1Q">line-end line-end </span><span class="p" id="mw1g">.</span> <span class="k" id="mw1w">list </span><span class="o" id="mw2A">=</span> <span class="k" id="mw2Q">term </span><span class="p" id="mw2g">[</span> <span class="k" id="mw2w">opt-whitespace list </span><span class="p" id="mw3A">]</span> <span class="p" id="mw3Q">.</span> <span class="k" id="mw3g">term </span><span class="o" id="mw3w">=</span> <span class="k" id="mw4A">literal </span><span class="p" id="mw4Q">|</span> <span class="s2" id="mw4g">"<"</span> <span class="k" id="mw4w">rule-name </span><span class="s2" id="mw5A">">"</span> <span class="p" id="mw5Q">.</span> <span class="k" id="mw5g">literal </span><span class="o" id="mw5w">=</span> <span class="s2" id="mw6A">""""</span> <span class="k" id="mw6Q">text </span><span class="s2" id="mw6g">""""</span> <span class="p" id="mw6w">|</span> <span class="s2" id="mw7A">"'"</span> <span class="k" id="mw7Q">text </span><span class="s2" id="mw7g">"'"</span> <span class="p" id="mw7w">.</span>This definition appears overcomplicated because the concept of "optional whitespace" must be explicitly defined in BNF, but it is implicit in WSN. Even in this example, text is left undefined, but it is assumed to mean "ASCII-character { ASCII-character }". (EOL is also left undefined.) Notice how the kludge "<" rule-name ">" has been used twice because text was not explicitly defined.
One of the problems with BNF which this example illustrates is that by allowing both single-quote and double-quote characters to be used for a literal, there is an added potential for human error in attempting to create a machine-readable syntax. One of the concepts that migrated to later meta syntaxes was the idea that giving the user multiple choices made it harder to write parsers for grammars defined by the syntax, so computer languages in general have become more restrictive in how a quoted-literal is defined.
Syntax diagram
Syntax diagram: