Teória typov - cvičenia

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) formulácia
if true then succ 0 else 0
(b) konštruovanie SAS
...

2.2 Príklad
(a) formulácia
if iszero(pred(succ 0)) then succ(succ(succ 0)) else 0
...