2.8.1. СИНТАКСИС

$ Образец = УказательНаправления ОбразцовоеВыражение.

$ УказательНаправления = [ "$l" | "$r" ].

$ ОбразцовоеВыражение =

$ { ОбразцовыйТерм | ИмяВыражения }.

$ ОбразцовыйТерм =

$ СтатическийСимвол | Переменная |

$ "(" ОбразцовоеВыражение ")".

Образец представляет собой образцовое выражение, перед которым может стоять указатель направления "$l" или "$r". Указатель направления "$l" означает что сопоставление с образцом должно выполняться слева направо. Указатель "$r" - что справа налево. Если указатель направления отсутствует, подразумевается указатель "$l".

В дальнейшем мы будем обозначать образцы через P, образцовые выражения - через Pe, образцовые термы - через Pt, а указатели направления сопоставления - через D.