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 Tu będzie: graf przepływu i zmienne żywe przy wyjściu. Oblicz zbiory zmiennych żywych na początku i końcu każdego bloku bazowego.