Konwersja α – operacja w rachunku lambda polegająca na zamianie zmiennej określanej przez lambdę oraz wszystkich jej wystąpień w wyrażeniu pod lambdą, na inną, nie kolidującą z żadną z lambd zewnętrznych lub wewnętrznych.

Przykłady prawidłowych konwersji α:

Przykłady nieprawidłowych konwersji α:

Konwersja α jest trywialna, jest jednak ważna, gdyż pozwala unikać kolizji zmiennych.

Zobacz też


Witaj

Uczę się języka hebrajskiego. Tutaj go sobie utrwalam.

Źródło

Zawartość tej strony pochodzi stąd.

Odsyłacze

Generator Margonem

Podziel się