Cześć!
Chciałem się Was zapytać czy dobrze interpretuję sprowadzenie wyrażenia do pełnej postaci nawiasowej?
Przykład z zadania:
\(\lambda xy.yx\)
Czy to będzie to?
\((\lambda x.yx)(\lambda y.yx)\)
Lambda Rachunek - postać nawiasowa
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij