IPP Půlsemestrálka vol 2 - II

Question 1

Formální báze

Answer 1

Takový formální prostředek (kalkul, algebra atd.), který umožňuje exaktně popsat všechny konstrukce daného jazyka.

Question 2

Otevřený podprogram

Answer 2

Je uložen v rámci hlavního (často jediného) zdrojového textu. Nemá definované pevné rozhraní (vstupní a výstupní bod, parametry, výsledek apod.)

Vstup se děje skokem na příkaz, jímž má výpočet podprogramu začít, ukončení podprogramu je dáno vyvoláním příslušného příkazu (nikoliv doběhnutím výpočtu do/za určité místo)

Chybí implicitní podpra rekurze

Question 3

Podprogramy u nestrukturovaných jazyků

Answer 3

Parametry i výsledky jsou předávány jen jako globální proměnné

Chybí implicitní podpora rekurze

Question 4

Analyzátor

Answer 4

Program, který analyzuje vstupní text v nějakém programovacím jazyce a provádí jeho kontrolu pouze na základě daného textu.

Výstupem je potencionální seznam chyb, varování či doporučení k danému programu.

Question 5

Interpret

Answer 5

Program, který jakmile rozpozná nějaký příkaz ve vstupním programu, který má na vstupu, okamžitě jej provede.

Převádí tak vstupní program na posloupnost okamžitě prováděných akcí

Question 6

Překladač

Answer 6

Program, který vstupní text programu převádí na posloupnost příkazů jiného jazyka, či stroje.

Cílem překladu může být např. binární soubor, který je přímo spustitelný na dané architektuře

Jednotlivé části překladu:
- Lexikální analýza
- Syntaktická analýza
- Sémantická analýza
- Generování kódu

Question 7

Floyd-Hoare logika