Мне трудно понять лямбда-исчисление, и у меня есть два вопроса, которые я не знаю, как это сделать / что они значат. Ниже мы должны использовать абстрактные редукционные системы.
Определить ARS (N × N, →), который имеет уникальные нормальные формы. Спорят, почему у вашего ARS уникальные нормальные формы.
Объясните, как добавлять и умножать нормальные формы.