Kapittel 23 – Formelle språk og grammatikker / Operasjoner på språk