Metody realizacji języków programowania/MRJP Ćwiczenia 11

Z Studia Informatyczne
< Metody realizacji języków programowania
Wersja z dnia 21:28, 1 paź 2006 autorstwa Gorecki (dyskusja | edycje) (→‎Zadanie 4)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Autor: Paweł Górecki (gorecki@mimuw.edu.pl)

Zadanie 1

Zaproponuj algorytm obliczania atrybutów in, out, kill, gen dla reguł z wykładu wyliczających definicje osiągalne dla programów strukturalnych.

Zadanie 2

Jaka jest pesymistyczna liczba obrotów pętli dla algorytmu iteracyjnego w zależności od rozmiaru grafu przepływu?

Zadanie 3

Czy algorytm iteracyjny posiada własność stopu? Odpowiedź uzasadnij.

Zadanie 4

Dla podanego poniżej grafu przepływu:

W8bloki.jpg


  • Oblicz zbiory zmiennych żywych na początku i końcu każdego bloku bazowego

przy założeniu, że a,b,c to zmienne żywe po bloku E.

  • Wyjaśnij w jaki sposób można wykorzystać te zbiory przy generowaniu kodu wynikowego.