No takže otázky boli dosť rôzne.. Samozrejme aj z tých pre externistov. Príklady už boli zaujímavejšie..
Z tých jednoduchších:
- je daná petriho sieť a vypočítať k nej S alebo T invarianty
- v B spraviť stroj, ktorý má operácie dané v zadaní.
Z tých horších:
- nakresliť obedujúcich filozofov, ale pozor! Nie klasicky, ale je špecifikované, že si napríklad neberú naraz dve vidličky, ale že berú po jednej, alebo naopak, že vezmú dve vidličky naraz, ale vracajú po jednej... Tento príklad malo viac ľudí v rôznej podobe.
- niečo ako navrhnúť B špecifikáciu pre spravovanie prerušení n-typov, pričom tie prerušenia sú nejako usporiadané podľa priority. Na tento typ príkladu povedal Korečko, že zvyčajne robí najväčšie problémy, ale že je najľahší..
No neviem. Treba si nejako vymyslieť hocičo k prerušeniam, mne napadlo niečo také, že stroj má premennú program_counter a pár operácií, ktoré si odpamätajú pc a nastavia ho na novú hodnotu (vybratú z N pomocou ANY), alebo operácia, ktorá vráti typ prerušenia (prerušenie je napr. z 0..n), alebo len skočí na adresu, ktorá je parameter operácie a pod. A Hudák za to dal plný počet..
Tiež boli príklady na vyrátanie najslabšej pre-podmienky pre nejakú GS a tak.
Opravoval Korečko a aj Hudák.. Neviem ako Korečko, ale Hudák sa na vyhodnotení niečo málo pýtal.. A trvalo to do piatej
A čo sa týka tých 10 b, tak nie len po 2-3b pridával, ale niekto mal 45b a pridal mu normálne 10.