2.9.3. ПРИМЕРЫ
Ниже приведены примеры жестких выражений:
t.Head e.Tail
sX (eY) eZ (A eA)
Далее приведены примеры сопоставления с жесткими выражениями:{sX = XXX, eA = A B C} |- X Y Z :: sY eA
=> {sX = XXX, eA = Y Z, sY = X}
{sX = XXX, eA = A B C} |- X Y Z :: eA sY
=> {sX = XXX, eA = X Y, sY = Z}