5 KLAAR variabelen opslag
6 bijhouden huidige blok oppervlak
7 stappen met codelgrootte en loop methode
9 KLAAR voorbeeld variabelen ophalen uit stack
10 stack volgorde aangeven e_n ... e_0
11 loops beter beschrijven
12 annoteren Piet' programma in paint
13 uitleg terminatie Piet' programma
16 KLAAR wiskundige operaties op stacks definieren
17 KLAAR onderscheid wiskundige deel
18 KLAAR natuurlijke taal toevoegen voor semantiekbeschrijving
19 KLAAR toevoegen functies/regels aan semantiek
20 KLAAR toepassen semantiekregels op faculteitsprogramma in Piet'
21 KLAAR? verdere uitleg Piet'
22 inchar/outchar eventueel toevoegen aan semantiek (voor nu weggelaten)
23 voor later: waarschijnlijk nog meer analyses in de vorm van afleidingsrijen toevoegen