język formalny
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
System symboli i reguł, wykorzystywany do precyzyjnego opisywania struktur.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.— Informatyka wykorzystuje język formalny do programowania.
-
Diese Formale Sprache basiert auf strenger Logik.— Ten język formalny opiera się na ścisłej logice.