Semantyka i weryfikacja programów/Ćwiczenia 9: Różnice pomiędzy wersjami

następna edycja →

WizualnieWikikod

Wersja z 14:59, 29 wrz 2006

Procedury i funkcje. Przekazywanie parametrów.

Zadanie 1

Zdefiniuj semantykę denotacyjną następującego języka:

$n : : = 0 | 1 | \dots$

$x : : = \dots (i d e n t y f i k a t o r y) \dots$

$e : : = n | x | e_{1} + e_{2}$

$b : : = e_{1} = e_{2} | 𝐧 𝐨 𝐭 b | b_{1} 𝐨 𝐫 b_{2}$

$i : : = x : = e | i_{1}; i_{2} | 𝐢 𝐟 b 𝐭 𝐡 𝐞 𝐧 i_{1} 𝐞 𝐥 𝐬 𝐞 i_{2} | 𝐬 𝐤 𝐢 𝐩 | 𝐰 𝐡 𝐢 𝐥 𝐞 b 𝐝 𝐨 i | 𝐜 𝐚 𝐥 𝐥 P (x) | 𝐛 𝐞 𝐠 𝐢 𝐧 d; i 𝐞 𝐧 𝐝$

$d : : = 𝐯 𝐚 𝐫 x : = e | d_{1}; d_{2} | 𝐩 𝐫 𝐨 𝐜 P (x); i 𝐞 𝐧 𝐝 𝐩 𝐫 𝐨 𝐜$

Deklaracja $𝐯 𝐚 𝐫 x : = e$ wprowadza zmienną $x$ i nadaje jej wartość obliczonego wyrażenia $e$ . Deklaracja $𝐩 𝐫 𝐨 𝐜 P (x); i 𝐞 𝐧 𝐝 𝐩 𝐫 𝐨 𝐜$ wprowadza procedurę o nazwie $P$ z jednym parametrem $x$ przekazywanym przez zmienną. Treścią procedury jest instrukcja $i$ .

Instrukcja bloku $𝐛 𝐞 𝐠 𝐢 𝐧 d; i 𝐞 𝐧 𝐝$ polega na wykonaniu instrukcji $i$ po uprzednim wzbogaceniu środowiska deklaracją $d$ . Wszystkie zmienne i procedury wprowadzone przez $d$ są lokalne w bloku. Instrukcja $𝐜 𝐚 𝐥 𝐥 P (x)$ to wywołanie procedury $P$ .

Zadanie 2

Jaką wartość ma zmienna z przy semantyce z poprzedniego zadania po wykonaniu następującej instrukcji:

begin
  var
    y := 1;
    proc P (x); x := y endproc;
    begin
      var y := 2;
      var z := 0;
      call P(z);
    end
 end

Zadanie 3

Wyjaśnij różnicę między wiązaniami statycznymi a dynamicznymi. Zmień semantykę języka z zadania 1 tak, aby uzyskać dynamiczne wiązania identyfikatorów.

Zadanie 4

Czy semantyka z zadania 1 umożliwia pisanie procedur rekurencyjnych? A semantyka z zadania 3? Jak należy zmienić semantykę, aby procedury rekurencyjne były możliwe?

Zadanie 5

Przypuśćmy, że składnia wywołania procedury z zadania 1 przyjmuje teraz postać:

$i : : = 𝐜 𝐚 𝐥 𝐥 P (e)$

Pozostałe elementy nie zmieniają się. Przekazywanie parametrów odbywa się teraz jednak przez wartość. Opisz semantykę takiego języka. Zadbaj o możliwość definiowania procedur rekurencyjnych i statyczne wiązania zmiennych globalnych.

@@ Linia 43: / Linia 43: @@
 </math>
-Deklaracja <math>\mathbf{var}\, x := e</math> wprowadza zmienną ''x'' i nadaje jej
+Deklaracja <math>\mathbf{var}\, x := e</math> wprowadza zmienną <math>x</math> i nadaje jej
-wartość obliczonego wyrażenia ''e''. Deklaracja <math>\mathbf{proc}\, P (x); i\, \mathbf{endproc}
+wartość obliczonego wyrażenia <math>e</math>. Deklaracja <math>\mathbf{proc}\, P (x); i\, \mathbf{endproc}
-</math> wprowadza procedurę o nazwie ''P'' z jednym parametrem ''x'' przekazywanym
+</math> wprowadza procedurę o nazwie <math>P</math> z jednym parametrem <math>x</math> przekazywanym
-przez zmienną. Treścią procedury jest instrukcja ''i''.
+przez zmienną. Treścią procedury jest instrukcja <math>i</math>.
 Instrukcja bloku <math>\mathbf{begin}\, d; i\,\mathbf{end}</math> polega na
-wykonaniu instrukcji ''i'' po uprzednim wzbogaceniu środowiska deklaracją ''d''.
+wykonaniu instrukcji <math>i</math> po uprzednim wzbogaceniu środowiska deklaracją <math>d</math>.
-Wszystkie zmienne i procedury wprowadzone przez ''d'' są lokalne w bloku.
+Wszystkie zmienne i procedury wprowadzone przez <math>d</math> są lokalne w bloku.
-Instrukcja <math>\mathbf{call}\, P (x) </math> to wywołanie procedury ''P''.
+Instrukcja <math>\mathbf{call}\, P (x) </math> to wywołanie procedury <math>P</math>.
 === Zadanie 2 ===

Semantyka i weryfikacja programów/Ćwiczenia 9: Różnice pomiędzy wersjami

Wersja z 14:59, 29 wrz 2006

Spis treści

Procedury i funkcje. Przekazywanie parametrów.

Zadanie 1

Zadanie 2

Zadanie 3

Zadanie 4

Zadanie 5

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia