formal language
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
A system of symbols and rules used in mathematics or logic.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.— Computer science uses a formal language for programming.
-
Diese Formale Sprache basiert auf strenger Logik.— This formal language is based on strict logic.