SW wykład 5 - Slajd15
Bloki i deklaracje Lokacje Funkcje semantyczne Konwencje notacyjne Instrukcje Klauzule semantyczne Klauzule semantyczne, c.d. Deklaracje Deklaracje, c.d. Semantyka bloków Procedury Wiązania zmiennych Semantyka Tiny++ Semantyka Tiny++ Rekurencja Semantyka procedur rek. Semantyka procedur rek.
Zawikłanie powyższych klauzul semantycznych najlepiej widać przez fakt, że w naturalny (i nieco niejawny) sposób opisują one rekurencyjne wywołania procedur. Mianowicie, w miejscu wywołania procedury jej identyfikator musi być powiązany z jej deklaracją. Konsekwentnie, wywołanie procedury o tym samym identyfikatorze w ciele tejże procedury oznacza jej rekurencyjne wywołanie. Powyższy program to prosty przykład tej sytuacji: deklarujemy procedurę NO, w której ciele dwakroć wywoływana jest ona sama. Pozostawiamy Państwu dokładną analizę jej działania dla różnych początkowych wartości zmiennej x.
