2.8.1. СИНТАКСИС
$ Образец = УказательНаправления ОбразцовоеВыражение.
$ УказательНаправления = [ "$l" | "$r" ].
$ ОбразцовоеВыражение =
$ { ОбразцовыйТерм | ИмяВыражения }.
$ ОбразцовыйТерм =
$ СтатическийСимвол | Переменная |
$ "(" ОбразцовоеВыражение ")".
Образец представляет собой образцовое выражение, перед которым может стоять указатель направления "$l" или "$r". Указатель направления "$l" означает что сопоставление с образцом должно выполняться слева направо. Указатель "$r" - что справа налево. Если указатель направления отсутствует, подразумевается указатель "$l". В дальнейшем мы будем обозначать образцы через P, образцовые выражения - через Pe, образцовые термы - через Pt, а указатели направления сопоставления - через D.