Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
formale Syntax
Vertaling van "formale Syntax" in Engels
formal syntax
Obwohl diese Möglichkeit nie erwähnt wird, erlaubt die formale Syntax sie.
Though this possibility is never been mentioned, the formal syntax allows it.
Auf jeder Ebene kann eine formale Syntax oder informale natürliche Sprache verwendet werden, abhängig von der Anwendung.
On each level, formal syntax and informal natural language can be used, depending on the application.
Die formale Syntax ist so reichhaltig, dass die notwendigen Schreibweisen und Formeln der elementaren Mengenlehre ausgedrückt werden können.
Our formal syntax is so rich, that the necessary notations and formulas of basic set theory can be expressed.
Jede der zwei Logiken wird unter vier Aspekten untersucht: formale Syntax, formale (modelltheoretische) Semantik, Beweistheorie und Anwendung auf natürliche Sprachen (Formalisieren, "informelle Semantik").
Each of the two logics will be investigated from four aspects: formal syntax, formal (model-theoretic) semantics, proof theory and application to natural language (formalisation, "informal semantics").
Die formale Syntax für eine Katalogdatei lautet wie folgt
The formal syntax for a catalog file is where
Im Wechselspiel dieser Tätigkeiten kristallisierte sich langsam eine formale Syntax heraus, die zur Systementscheidung drang.
During the interaction of these activities, a formal syntax crystallized slowly that pushed towards a system decision.
Da Estelle-Spezifikationen nur geschlossene Systeme beschreiben können, werden solche Komponenten immer nur als Teil einer fest vorgegebenen Umgebung spezifiziert und besitzen auch nur in dieser eine formale Syntax und Semantik.
Since Estelle specifications can describe only closed systems, such components are specified in each case as part of a given environment and therefore possess only in this environment a formal syntax and semantics.
Nach einer vergleichenden Betrachtung verschiedener MSC-Dialekte und Automatenmodelle wird die formale Syntax und Semantik der in dieser Arbeit verwendeten MSC-Notation definiert und analysiert.
The comparison of several MSC dialects and automaton models is followed by the definition and analysis of the formal syntax and semantics for the MSC notation used in this thesis.
Formale Syntax für einen Katalogeintrag
Formal syntax for a catalog entry
Obwohl es eine formale Syntax für SBVR gibt, zum Beispiel die ORM2 Spezifikationssprache, fehlt dem SBVR Standard zur Zeit noch immer eine solide und konsistente logische Formalisierung, die eine automatisierte Konsistenzprüfung von Geschäftsregeln im Geschäftsmodellen ermöglichen würde.
Despite existence of formally grounded notations, e.g. ORM2 specification language, up to now SBVR still lacks a sound and consistent logical formalization which allows developing solutions able to automatically test business models for consistency of regulations.
MediaWiki Inhalte werden in Wikitext geschrieben, welches eine Markup- und Programmiersprache ist, die sich über acht Jahre lang ohne eine formale Syntax und Semantik entwickelt hat.
Content is written in Wikitext, a markup and programming language that has evolved over eight years without any formal description.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor formale Syntax in het Duits
Resultaten: 11. Exact: 11. Verstreken tijd: 22 ms.
