The Pico Concrete Grammar

<program>       ::= <expression>
<expression>    ::= <invocation>
<expression>    ::= <invocation> :  <expression>
<expression>    ::= <invocation> := <expression>

<invocation>    ::= <comparand>
<invocation>    ::= <invocation> <comparator> <comparand>
<comparand>     ::= <term>
<comparand>     ::= <comparand> <adder> <term>
<term>          ::= <factor>
<term>          ::= <term> <multiplier> <factor>
<factor>        ::= <reference>
<factor>        ::= <factor> <power> <reference>

<reference>     ::= <number>
<reference>     ::= <fraction>
<reference>     ::= <text>
<reference>     ::= <variable>
<reference>     ::= <prefix> 
<reference>     ::= <application>
<reference>     ::= <apply>
<reference>     ::= <tabulation>
<reference>     ::= <subexpression>
<reference>     ::= <sequence>
<reference>     ::= <table>

<prefix>        ::= <operator> <reference>
<application>   ::= <variable> ( )
<application>   ::= <variable> ( <commalist> )
<apply>         ::= <variable> @ <invocation>
<tabulation>    ::= <name> [ <expression> ]
<subexpression> ::= ( <expression> )
<sequence>      ::= { <semicolonlist> }
<table>         ::= [ ]
<table>         ::= [ <commalist> ]
<commalist>     ::= <expression>
<commalist>     ::= <expression> , <commalist>
<semicolonlist> ::= <expression>
<semicolonlist> ::= <expression> ; <semicolonlist>
<variable>      ::= <name>
<variable>      ::= <operator>
<operator>      ::= <power>
<operator>      ::= <multiplier>
<operator>      ::= <adder>
<operator>      ::= <comparator>
<scale>         ::= #exponent# + <number>
<scale>         ::= #exponent# - <number>
<scale>         ::= #exponent# <number>
<number>        ::= #digit#
<number>        ::= #digit# <number>
<fraction>      ::= <number> . <number> <scale>
<fraction>      ::= <number> . <number>
<fraction>      ::= <number> <scale>
<comparator>     ::= #comparator# <operator>
<adder>          ::= #adder# <operator>
<multiplier>     ::= #multiplier# <operator>
<power>          ::= #power# <operator>
<operator>       ::= #operator#
<operator>       ::= #operator# <operator>
<name>           ::= #letter# <rest>
<rest>           ::=
<rest>           ::= #digit# <rest>
<rest>           ::= #letter# <rest>

#letter#         = { a ,..., z , A ,..., Z , _ }
#digit#          = { 0 ,..., 9 }
#exponent#       = { e , E }
#comparator#     = { < , = , > }
#adder#          = { + , - , | }
#multiplier#     = { * , / , \ , & }
#power#          = { ^ }
#operator#       = #comparator# + #adder# +
                   #multiplier# + #power#

This page was made (with lots of hard work!) by Wolfgang De Meuter