Translation of decidability into German
Noun
logic
- The decidability of the problem was proven in the study.Die Entscheidbarkeit des Problems wurde in der Studie bewiesen.
Synonyms and analogies of decidability in English
Examples of decidability in a sentence
The decidability of the equation was questioned by the mathematician.
Translations of "decidability" in Context ordered by category and frequency
This result also covers the decidability of other important problems for Petri nets (etc.), such as their liveness.
Dieses Resultat beinhaltet auch die Entscheidbarkeit weiterer wichtiger Probleme für Petrinetze (etc.), z.B. deren Lebendigkeit.
know the notions of decidability and recursive enumerability and understand the concept of a universal Turing machine
Sie kennen die Begriffe Entscheidbarkeit und rekursive Aufzählbarkeit und verstehen das Konzept der Universellen Turing-Maschinen.
Furthermore, it can be used to prove the decidability of the mentioned Boolean hierarchies.
Außerdem wird sie in den Beweisen der Entscheidbarkeit der genannten Booleschen Hierarchien verwendet.
I have now proven decidability of the non-Horn monadic shallow linear fragment via ordered resolution.
Ich habe nun die Entscheidbarkeit des nicht-Horn monadisch flachen linearen Fragments mittels geordneter Resolution bewiesen.
decidability: Examples and translations in context
Their decidability results from their characterization by inductively defined predicates.
Ihre Entscheidbarkeit folgt aus ihrer Charakterisierung durch induktiv definierte Prädikate.
Such a characterization immediately implies the decidability of the respective class, since the absence of a certain pattern in a given automaton can be effectively verified.
Gelingt eine solche Charakterisierung, folgt unmittelbar die Entscheidbarkeit der Klasse, da das Nichtvorhandensein eines Musters in einem gegebenen endlichen Automaten effektiv geprueft werden kann.
But because only two positions are needed, every decidability awakens the fiction of feasibility, which evokes a pragmatics of trial and error that ascribes everything to the probability of actual choices, so long as anything is countable and therefore manageable.
Jede Entscheidbarkeit aber weckt, weil sie allein zwei Positionen benötigt, die Fiktion einer Machbarkeit, die eine Pragmatik der Probe evoziert, welche alles auf die Wahrscheinlichkeit von tatsächlichen Wahlen zurückführt, solange etwas überhaupt zählbar und daher überschaubar ist.
Term rewriting systems, termination and confluence are introduced, the undecidability of termination and confluence problems and the decidability for a set of special term rewriting systems are shown.
Es werden Termersetzungssysteme, Termination und Konfluenz eingeführt, die Unentscheidbarkeit des Terminations- und Konfluenzproblems gezeigt und die Entscheidbarkeit der Probleme für spezielle Termersetzungssysteme nachgewiesen.
Furthermore, the decidability of B(3/2) is proven.
Darueberhinaus gelingt der Nachweis der Entscheidbarkeit von B(3/2).
The subject covers the topics graph theory, formal languages and theory of automata, petri nets, computability and decidability as well as complexity theory (NP-completeness) in theory and practice.
Die Vorlesung behandelt die Themen Graphentheorie, Formale Sprachen und Automatentheorie, Petri Netze, Berechenbarkeit und Entscheidbarkeit sowie Komplexitätstheorie (NP-Vollständigkeit).