SW wykład 9 - Slajd14

<<powrót do strony wykładu

Dziedziny podstawowe Suma i produkt Suma spłaszczona i produkt spłaszczony Przestrzeń funkcji ciągłych Izomorfizm dziedzin Konstruowanie funkcji ciągłych Złożenie funkcji i indeksowanie Inne konstrukcje Operator punktu stałego Równania stałopunktowe Równania dziedzinowe Rekurencyjne równania dziedzinowe Rekurencyjne równania dziedzinowe Problemy Dziedziny refleksywne Rozwiązanie naiwne dziedziny Scotta

Przedstawiona wyżej technika wyznaczania najmniejszego rozwiązania dla rekurencyjnych równań dziedzinowych zdaje się być na tyle uniwersalna, że powinna działać dla dowolnego układu równań dziedzinowych. I rzeczywiście "na ogół" tak jest.

Przypuśćmy jednak, że chcemy zdefiniować rekurencyjnie pewną dziedzinę tak, że rekurencja przebiega przez operator przestrzeni funkcyjnej --- przykład na slajdzie pokazuje, że nie są to wydumane przypadki i że rzeczywiście mogą się one pojawić w praktyce definiowania semantyki języków programowania.