формальный язык
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
Система символов и правил, используемая в математике или логике.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.— Информатика использует формальный язык для программирования.
-
Diese Formale Sprache basiert auf strenger Logik.— Этот формальный язык основан на строгой логике.