thesis2/todo

   1 Algemeen:
   2 - Formele taal + natuurlijke
   3
   4 Specifiek:
   5 - Uitleggen minimaliseren + maat
   6 - Minimaliseert dit algorithme?
   7 - Stappen in het voorbeeld beter beschrijven(punt en komma veranderen)
   8 - Referenties toevoegen en andere (huidige) toepassingen van algorithme
   9
  10 Algoritme:
  11 - Hoe match je de groepen, wat is beste vulling? non-determinisme
  12 - Harde paden voor categorien?
  13 - Specifieke(re) binnengroepsmatching