SW wykład 5 - Slajd15: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 9: | Linia 9: | ||
identyfikatorze w ciele tejże procedury oznacza jej rekurencyjne | identyfikatorze w ciele tejże procedury oznacza jej rekurencyjne | ||
wywołanie. Powyższy program to prosty przykład tej sytuacji: | wywołanie. Powyższy program to prosty przykład tej sytuacji: | ||
deklarujemy procedurę NO, w której ciele dwakroć wywoływana jest ona | deklarujemy procedurę <math>NO</math>, w której ciele dwakroć wywoływana jest ona | ||
sama. Pozostawiamy Państwu dokładną analizę jej działania dla różnych | sama. Pozostawiamy Państwu dokładną analizę jej działania dla różnych | ||
początkowych wartości zmiennej x. | początkowych wartości zmiennej <math>x</math>. | ||
Aktualna wersja na dzień 21:11, 25 wrz 2006
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ę , 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 .
