Sprachspezifikation
Sprachspezifikation ist die formale Beschreibung der Regeln und Bedeutungen einer Sprache, die von Menschen oder Maschinen verwendet wird. Sie dient dazu, Implementierungen zu steuern, Inkompatibilitäten zu vermeiden und Interoperabilität sicherzustellen. Der Begriff wird in der Informatik, der Sprachwissenschaft und der technischen Kommunikation verwendet, wobei er sich auf programminterne Sprachen, Dokumentenformate, Kommunikationsprotokolle oder domänenspezifische Sprachen beziehen kann.
Inhaltlich umfasst eine Sprachspezifikation typischerweise die lexikalischen Regeln (Tokenisierung), die Syntax (Grammatik), die Semantik (Bedeutung der
Formale Repräsentationen solcher Spezifikationen schließen abgekürzte Notationen ein: BNF/EBNF, ABNF, sowie formale Semantik mit Denotational-, Operational-
Sprachspezifikationen finden Anwendung in Programmiersprachen (z. B. Syntax der Sprache), Datenformaten (z. B. JSON, Protokolle wie
Sorgfältig verfasste Spezifikationen reduzieren Mehrdeutigkeiten, unterstützen Kompatibilität zwischen Implementierungen und erleichtern Weiterentwicklung und Portabilität von Systemen.