403
правки
Изменения
Нет описания правки
& | & \lambda \langle Variable \rangle\ .\ \langle Term \rangle\\
& | & ( \langle Term \rangle )\\
\langle Variable \rangle & ::= & \langle Char \rangle *+\\
\end{array}
</tex>
