biçimsel dil
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
Yapıların kesin bir şekilde tanımlanmasında kullanılan semboller ve kurallardan oluşan bir sistem.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.— Bilgisayar bilimi, programlama için biçimsel bir dil kullanır.
-
Diese Formale Sprache basiert auf strenger Logik.— Bu biçimsel dil, katı bir mantığa dayanmaktadır.