Deutsch » Englisch

Deutsch)

Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)

Messbar :

Es ist entscheidbar, ob das Ziel erreicht worden ist oder nicht:

Anspruchsvoll:

Measurable :

It is possible to judge whether the project objectives have been met.

Attractive:

In der Vorlesung werden wichtige Methoden und Techniken vorgestellt, um

zu beurteilen, ob solche Problem überhaupt algorithmisch entscheidbar sind,

In this course we will, on the basis of numerous examples, present methods and techniques that permit us

to understand whether such problems are algorithmically decidable,

Sie stoppt, wenn eine der beiden Maschinen zum Halten kommt.

Satz 3.2.18 L ⊆ Σ∗ ist entscheidbar, gdw. L und L erkennbar sind.

Beweis:

There is a computable sequence ( xs ) of rational numbers which converges to a nonweakly computable real number x. P r o o f.

By Ershov’s Hierarchy Theorem 3.4, there is a ∆02-set A which is not ω-r.e.

Then, by the Limit Lemma of Shoenfield [24], there is a computable sequence (As) of finite subsets of natural numbers such that limAs = A.

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

Deutsch