Paradygmaty programowania/Test 9: U podstaw programowania obiektowego — rachunek sigma

Test 9

Rachunek sigma opisuje obiekty na poziomie abstrakcji podobnym do tego, na którym funkcje są opisywane przez:

języki wysokiego poziomu, np. Pascal, C, Java Źle

rachunek lambda Dobrze

teorię mnogości Źle

rachunek sigma w ogóle nie zajmuje się obiektami Źle

Podobnie jak w rachunku sigma, obiekty bez klas pojawiają się w języku:

C++ Źle

C Źle

Java Źle

JavaScript Dobrze

Która relacja nie pasuje do pozostałych w kontekście języka C++?

relacja dziedziczenia Źle

relacja podklasy Źle

relacja podtypu Źle

relacja zawierania bloków kodu Dobrze

W rachunku sigma obiekt to zbiór metod, dla których mamy dwie operacje — wywołanie i:

nadpisanie Dobrze

pobranie historii wywołań Źle

zapamiętanie wyniku Źle

zliczenie parametrów Źle

W rachunku sigma każda metoda posiada ciało oraz parametr reprezentujący:

historię wywołań Źle

jaźń obiektu Dobrze

nazwę obiektu Źle

wynik obliczeń Źle

Zapis $[l=\varsigma (x)[]]$ oznacza:

obiekt pusty Źle

obiekt zawierający metodę pustą Źle

obiekt zawierający jedną metodę, zwracającą obiekt pusty Dobrze

ten zapis jest niepoprawny Źle

Jeśli $o$ jest obiektem $[l=\varsigma (x)x.l]$, to wywołanie $o.l$ da w wyniku:

obiekt pusty Źle

obiekt $o$ Źle

$o.l$ Źle

wywołanie to nie da wyniku, gdyż obliczenia nie kończą się Dobrze

Jeśli $o$ jest obiektem $[l=\varsigma (x)x]$, to wywołanie $o.l$ da w wyniku:

obiekt pusty Źle

obiekt $o$ Dobrze

$o.l$ Źle

wywołanie to nie da wyniku, gdyż obliczenia nie kończą się Źle

Relacja redukcji (rozszerzona, z gwiazdką) w rachunku sigma spełnia własność Churcha-Rossera. Oznacza to, że jeśli $a{\to }^{*}b$ i $a{\to }^{*}c$, to:

$b=c$ Źle

$b{\to }^{*}c$ Źle

$c{\to }^{*}b$ Źle

istnieje $d$ takie, że $b{\to }^{*}d$ i $c{\to }^{*}d$ Dobrze

Otrzymawszy wyrażenie, maszyna wirtualna rachunku sigma może zachować się na jeden z trzech sposobów. Które z wymienionych poniżej zachowań nie odpowiada żadnemu z nich?

obliczenia nieskończone Źle

wyliczenie wartości, która nie jest poprawnym wynikiem Dobrze

wyliczenie poprawnego wyniku Źle

zgłoszenie błędu w wyrażeniu Źle