Изменения
Нет описания правки
\Lambda \to A\ \lambda\ V\ .\ \Lambda\ |\ \lambda\ V\ .\ \Lambda\\
\Lambda \to A\\
A \to A\ @Unary\ |\ UnaryLambda\|\Unary V\to '('|\ \Lambda\ ')'\ |\ V\\
V \to Char+\\
</tex>
}}
Здесь @ - так обычно обозначается обозначает пробел, V - множество всех строк.
В первом случае функция является просто переменной.
