lenguaje formal
Ein System von Symbolen und Regeln, das zur präzisen Beschreibung von Strukturen verwendet wird.
Un sistema de símbolos y reglas que se utiliza para la descripción precisa de estructuras.
-
Die Informatik nutzt eine Formale Sprache zur Programmierung.— La informática utiliza un lenguaje formal para la programación.
-
Diese Formale Sprache basiert auf strenger Logik.— Este lenguaje formal se basa en una lógica rigurosa.