## ★ Aan de slag 59

Versie VWO

Nederlandse postcodes hebben een vast formaat: vier cijfers gevolgd door een spatie en twee hoofdletters (bijvoorbeeld: "1234 AB"). Hoe kan een eindige automaat worden gebruikt om te controleren of een invoer daadwerkelijk een geldige Nederlandse postcode is? Beschrijf de mogelijke stappen die de automaat zou doorlopen en leg uit wat er gebeurt als een invoer niet aan het patroon voldoet.

Versie HAVO

Nederlandse postcodes hebben een vast formaat: vier cijfers gevolgd door een spatie en twee hoofdletters (bijvoorbeeld: "1234 AB"). Een eindige automaat kan worden gebruikt om te controleren of een invoer daadwerkelijk een geldige Nederlandse postcode is. De mogelijke stappen die de automaat zou doorlopen, kunnen als volgt worden beschreven: eerst controleert de automaat of de eerste vier tekens cijfers zijn; vervolgens controleert hij of het vijfde teken een spatie is; tot slot controleert hij of de laatste twee tekens hoofdletters zijn. Als een invoer niet aan dit patroon voldoet, zal de automaat aangeven dat de invoer ongeldig is.