Was sind formale Sprachen? (Theoretische Informatik)