Een kruising met verkeerslichten

Diegenen van jullie die al met hun theorieexamen bezig zijn zullen onderstaande afbeelding wel herkennen.

Een eenvoudige kruising met verkeerslichten die worden aangestuurd door een eenvoudig programma.

In de wegen zijn 'detectielussen' aanwezig zodat het programma kan zien of er verkeer bij het verkeerslicht wacht.

Je kunt een aantal eisen direct al bedenken ...

kruising met verkeerslichten

Je ziet dat zelfs zonder links- of rechtsaflichten het aantal toestanden snel heel groot wordt.

Een verschijnsel dat het gebruik van automaten niet in elke situatie geschikt maakt en ook wel wordt aangeduidt met state explosion (explosie van toestanden).

In de praktijk kun je door wat slimmer nadenken ook vaak het aantal toestanden in het model wel beperken, dat doe je in de volgende paragraaf.