## ★ Aan de slag 60

Foutdetectie met de eindige automaat VWO versie
Wat gebeurt er als een invoer een onjuiste postcode bevat? Beschrijf drie mogelijke fouten die kunnen optreden en leg uit hoe de eindige automaat hierop zou reageren.

Foutdetectie met de eindige automaat HAVO versie
Een eindige automaat voor Nederlandse postcodes moet invoer in het volgende formaat hebben:
✅ 1234 AB (vier cijfers, een spatie en twee hoofdletters).

Hieronder zie je drie veelvoorkomende fouten bij invoer van een postcode. Leg uit waarom de automaat deze invoer afwijst en bij welke stap het misgaat.

"1234AB" (ontbrekende spatie)

In welke stap verwacht de automaat een spatie?
Wat gebeurt er als er direct een letter wordt ingevoerd?
"12A4 AB" (letter in plaats van een cijfer)

De eerste twee tekens zijn correct. Op welke plek in de invoer zit de fout?
Waarom wordt deze invoer door de automaat niet geaccepteerd?
"1234 ab" (kleine letters in plaats van hoofdletters)

Op welke positie verwacht de automaat een hoofdletter?
Wat gebeurt er als een kleine letter wordt ingevoerd in plaats van een hoofdletter?