R
Size: a a a
2020 August 03
Oℕ
простой слайд скинул
V
чо там
есть тлдр?
D
f(g(x,y),z) → g(x,z)
g(x,y) → x,
D
AG
вы поняли чо такое критическая пара?
это редекс который можно редюсить двумя способами так, что получатся разные ответы в конце
AG
собственно определение неконфлюэнтности
ᛒ
это редекс который можно редюсить двумя способами так, что получатся разные ответы в конце
от ето определение
Oℕ
это редекс который можно редюсить двумя способами так, что получатся разные ответы в конце
спасибо
AG
в явных подстановках такое может вылазить если например запретить редукцию под лямбдами, но оставить просачивание подстановок под них
Oℕ
собственно определение неконфлюэнтности
я вспомнил про мю мютильда и выбор бай нейм бай валью, когда она говорил
AG
я вспомнил про мю мютильда и выбор бай нейм бай валью, когда она говорил
да, там классическая критическая пара - сечение мю с мюцильдой
Oℕ
скажите. чтобы она остановилась мне пописать сходить
AG
ссы в кружку