3148972474

Reguły delta

Reguły delta

Definicja.

(i)    Niech S będzie pewną stałą. Wówczas A5 jest zbiorem A-termów zbudowanych ze zmiennych i stałej 5 za pomocą aplikacji i abstrakcji w zwykły sposób.

(ii)    Analogicznie definiuje się A<5, gdzie <5 oznacza ciąg stałych.

(iii)    Niech M oznacza ciąg zamkniętych A-termów w postaci normalnej. <5-redukcja ma postać SM —> f(M).

Dla zadanej funkcji / ^-redukcja nie jest pojedynczą regułą, lecz schematem reguł. Tak wzbogacony system nazywamy rachunkiem AS. Relacje kontrakcji i redukcji są oznaczane odpowiednio przez —*ps i -»/36■

Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 4. Siła wyrazu rachunku A 12