Präfix (Theoretische Informatik)