Formale Sprachen II/ HT 96