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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Ćwiczenia

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

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

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

Ćwiczenie Dla podanego poniżej grafu przepływu:

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.