Informatica
Formele talen
Wat een formele taal, een alfabet en een woord zijn. De basisbegrippen van de theorie van formele talen, uitgelegd aan de hand van gewone taal en voorbeelden.
Eindige automaten
De eindige automaat als rekenmodel met toestanden en overgangen. Definitie, toestandsdiagram, formalisering van de berekening en voorbeelden van geaccepteerde woorden.
Minimalisatie van automaten
Onbereikbare toestanden van een eindige automaat, waar je vanuit de begintoestand niet kunt komen. Definitie en hoe je ze veilig uit de automaat verwijdert.
Afsluitingseigenschappen van reguliere talen
Reguliere talen zijn afgesloten onder vereniging, doorsnede, concatenatie en afsluiting. Wat afgeslotenheid onder een bewerking betekent en waarom het voor reguliere talen geldt.
Reguliere expressies
Wat een reguliere expressie is en hoe ze een verzameling woorden beschrijft. Definitie, vergelijking met rekenkundige uitdrukkingen en het verband met eindige automaten.
Het aantal verschillende waarden schatten
Linear counting: hoe je het aantal unieke waarden in grote hoeveelheden gegevens schat. Hashfuncties, bitmaps en waarom de naïeve aanpak niet volstaat.
Bloomfilter: zit een element in de verzameling?
Een bloomfilter is een probabilistische datastructuur die snel antwoord geeft op de vraag of een element in een verzameling zit. Principe, hashfuncties en praktisch gebruik.
Caesarversleuteling
Hoe de caesarversleuteling werkt, een van de oudste manieren om tekst te versleutelen. Het principe van het verschuiven van letters, de generalisatie van de methode en een online hulpmiddel voor versleutelen.
Vigenèreversleuteling
De vigenèreversleuteling gebruikt meerdere alfabetten en is daardoor bestand tegen frequentieanalyse. Het principe van het versleutelen, het vigenèrevierkant, de keuze van de sleutel en een hulpmiddel.
