langage formel
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
Un système de symboles et de règles utilisé pour décrire précisément des structures.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.
-
Diese Formale Sprache basiert auf strenger Logik.