Изменения

Перейти к: навигация, поиск

Лямбда-исчисление

62 байта добавлено, 00:55, 12 января 2015
Нет описания правки
Expression \to Application\ \lambda\ Variable\ .\ Expression\ |\ \lambda\ Variable\ .\ Expression\\
Expression \to Application\\
Application \to Application\ @Unary\ |\ Unary\\
Unary \to '('\ Expression\ ')'\ |\ Variable\\
Variable \to Char+\\
</tex>
@ - так обычно обозначается пробел.
}}
Анонимный участник

Навигация