## Model (automaat) van de situatie

### Model en doel

Zoals je bij informatica al eerder bent tegengekomen helpt het om de werkelijkheid eenvoudiger te maken door dit in een model weer te geven. Een model bevat alleen die aspecten die belangrijk zijn voor het doel van het model.

In ons geval kiezen we als model een eindige toestands automaat (kort noemen we deze gewoon automaat) en het doel van ons model is om de verkeerslichten aan te sturen.

### Aannames

Om het model eenvoudiger te maken doen we enkele aannames:

- Verkeerslichten tegen over elkaar hebben altijd dezelfde kleur.
- Als één kant op rood 'springt' wordt de andere kant gelijktijdig groen.

De afbeelding hieronder staat ook op het werkblad:

Vul de tabel op het werkblad 2 verder in, de toestanden die niet zijn toegestaan hoef je niet op te nemen.
De werkbladen heb je van je docent ontvangen en vind je ook bovenin deze cursus onder bijlagen.

Nu je de toestanden weet kun je ook de overgangen bepalen en het toestandsdiagram invullen op werkblad 3.
De werkbladen heb je van je docent ontvangen en vind je ook bovenin deze cursus onder bijlagen.