## Leerdoelen

Per les vind je de precieze leerdoelen per les, globaal voor de gehele module geldt:

- Je weet wat een eindige automaat is en kent daarbij de begrippen toestand, toestandsovergang en toestandsdiagram.
- Je kunt (valide) paden bepalen in een eindige automaat en daarmee redeneren.
- Je kunt met behulp van een automaat redeneren over het gedrag. van een systeem en begrijpt ook de beperkingen van de automaat.
- Je kent de begrippen modelleren en testen (validatie en verificatie) vaak afgekort met mvvt en je weet wat deze begrippen inhouden bij systeemontwikkeling.
- Je kunt zelf bij een eenvoudige situatie een automaat opstellen.
- Je kunt een simulatie in Greenfoot (Java) begrijpen en aanpassen.
- Je kunt de automaat en de simulatie samen gebruiken om het traject modelleren en testen uit te leggen.

### Relatie met examenprogramma

Dit is een onderdeel uit het vernieuwde examenprogramma

domein B – Grondslagen

‘onderzoeken van en redeneren over digitale artefacten zonder dat deze daadwerkelijk zijn geïmplementeerd’

- Subdomein B1 ‘correctheid en efficiëntie onderzoeken via algoritmen’
- Subdoemin B3 ‘eindige automaten gebruiken ter karakterisering v.e. algoritme’