Vypracované cvičenia z predmetu Teória typov. Celý projekt je odkontrolovaný cvičiacim, takže by sa tam chyby nemali vyskytovať. Cvičiaci: D. Mihályi. Týžden: 02.týžden - jazyk NBL (Number Boolean Language) t ::= true | false | 0 | iszero t | succ t | pred t | if t then t else t | (a) formulácia termu t (b) konštruovanie stromu abstraktnej syntaxe (SAS) (c) odvodenie termu t (d) identifikácia konštánt t (const) (e) zistenie velkosti t (size) (f) vyhodnotenie termu t 2.1 Príklad (a) f...