Term  Obj

Term  St

Term  Term, Term

Term  { IdList Term }

Term  Id( Term)

Term  [ IdList Term ]( Term)

Term  Id!

Term_  Term

Term_  Obj_

Term_ St_

Term_  Term_, Term

Term_  { IdList Term_ }

Term_  Id( Term_)

Term_  [ IdList Term ]( Term_)

Term_  Id!

Term_  Term_ . Term_

St  Id : =Obj

St  { IdList St }

St  St; St

St  Id( Term)

St  [ IdList St ]( Term)

St Id!

St_  Id : =Obj_

St_  { IdList St _}

St_  St_; St

St_  Id( Term_)

St _  [ IdList St ]( Term_)

St_  Id!

Obj 

Obj  Const

Obj  Id

Obj  &Id

Obj  #Id

Obj  @Ids

Obj  T

Obj  F

Obj  « Term_ »

Obj  « Id : Term_ »

Obj  { IdList Obj}

Obj  Id( Term)

Obj  [ IdList Obj ]( Term)

Obj  { St } Obj

Obj  Id!

Obj  Pref Obj

Obj  Obj Suff

Obj  Obj Inf Obj

Obj  Obj Fni Obj

Obj_  Obj_ Fni 

Obj_  { IdList Obj_}

Obj_  Id( Term_)

Obj_  [ IdList Obj ]( Term_)

Obj_  { St _} Obj

Obj_  { St } Obj_

Obj_  Id!

Obj_  

Obj_  Pref Obj_

Obj_  Obj_ Suff

Obj_  Obj_ Inf Obj

Obj_  Obj Fni Obj_

Obj_   Inf Obj_

Obj_  Obj_ Fni 

IdList  Id

IdList  Id , IdList

Suff  ^

Pref  

Pref  -

Pref  A

Pref  Z

Pref  P

Inf  *

Inf  /

Inf  M

Inf  +

Inf  -

Inf  >

Inf  <

Inf  

Inf  

Inf  

Inf  

Inf  

Inf  

Inf  

Inf  |

Fni  ?

Id  Letter

Id  Id Letter

Id  Id Digit

Const  Digit

Const  Const Digit

При применении унарных и бинарных связок операнды заключаются в круглые скобки, если они сами были получены применением менее приоритетных связок. Самым высоким приоритетом обладают суффиксы (Suff), далее следуют префиксы (Pref) и, наконец, инфиксы (Inf и Fni), которые перечислены выше в порядке убывания приоритетов. Знак подчеркивания в нетерминалах показывает, что соответствующие языковые конструкции могут иметь незавершенный характер. В таких конструкциях вместо операндов в некоторых случаях допускается использование символов , предполагающее, что операндами в этих случаях являются объекты-результаты вычислений разделенных точками предшествующих компонентов терма.