Kapittel 23 – Formelle språk og grammatikker / Ikke-deterministiske tilstandsmaskiner