ϵ">]>
Module |
Remark
Test pozostáva zo štyroch úloh. Zadania pozri dole. POKYNY
POČET BODOV:
|
Remark
b) (2 body) Vložte interpretáciu teórie , ktorá má vypnutý prepínač Local a sufix nastavený na _pair . Vzniknú dva komponenty: funkcia a funkcia . Zadefinujte funkciu tak, aby funkcia pridala prvok na začiatok každého zoznamu, ktorý je prvkom zoznamu zoznamov . Má teda platiť alebo názornejšie Pri testovaní môžete použiť ako prvok znak (napr. ) a ako zoznam zoznamov zoznam reťazcov (napr. ). Výsledok zobrazíte formátom (list of strings, zoznam reťazcov), ktorý je preddefinovaný na začiatku súboru. Potom napríklad výsledkom : má byť . |
Remark
c) (5 bodov) Pomocou zadefinujte funkciu , ktorá vráti zoznam všetkých zoznamov, ktoré vzniknú vložením prvku na niektoré miesto v zozname , teda Napríklad . |
Remark
a) (4 body) Zadefinujte funkciu , ktorá vráti zoznam prvkov uložených v strome v obrátenom poradí postorder , teda tak, že zoznam vrátený
Napr. a ( je definovaný pred hlavičkou 2. úlohy). |
Remark
b) (6 bodov) Zadefinujte funkciu , pre ktorú platí V definícii nesmiete použiť zreťazenie ani žiadne pomocné funkcie vrátane . Príklad: . |
Remark
Binárny strom nazveme vyhľadávacím (píšeme ), ak je prázdny, alebo ak pre nejaký prvok a podstromy a platí a
Príkladom binárneho vyhľadávacieho stromu je . |
Remark
a) (5 bodov) Zadefinujte predikát ( ), ktorý zistí, či sa prvok nachádza v binárnom strome , o ktorom predpokladáme, že je vyhľadávací. Vaša definícia musí využiť túto vlastnosť. |
Remark
b) (5 bodov) Zadefinujte funkciu ( ), ktorá vloží prvok do binárneho vyhľadávacieho stromu . Výsledný strom musí byť tiež vyhľadávací. |
Remark
Na prednáške a cvičeniach sme pracovali s aritmetickými výrazmi s premennými, ktoré sa skladali z premenných, číselných konštánt, a operácií sčítanie a násobenie. |
Remark
Cieľom tejto úlohy je rozšíriť výrazy o novú operáciu nasledovník (successor), ktorú zapíšeme , zobrazí sa ako a jej významom je pripočítanie jednotky k argumentu. Zadefinujeme teda nový konštruktor . Príkladom výrazu, ktorý obsahuje operáciu nasledovník je . |
Remark
a) (2 body) Rozšírte definíciu predikátu-formátu (na mieste ) tak, aby zahŕňala aj operáciu nasledovník. |
Remark
b) (2 body) Rozšírte definíciu denotačnej funkcie tak, aby priraďovala význam aj termom s operáciou nasledovník. |
Remark
Postfixový stroj Nasledujúce komponenty definujú postfixový stroj: kódovanie jeho štyroch inštrukcií; predikáty-formáty inštrukcií a programov; funkcia , ktorá simuluje beh stroja pre program a zásobník . Postfixový stroj nemá žiadne registre, inštrukcie vyberajú vstupné dáta (ak ich potrebujú) zo zásobníka a ukladajú výsledky na zásobník. Tieto komponenty nemeňte! Zadanie 4c) je nižšie. |
Query: |
|
Results: |
|