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’