Textbeispiele

• Ein Algorithmus kann bestimmen, ob jeweils eine gegebene Eingabe zu einer entscheidbaren Menge gehört oder nicht.
  يمكن للخوارزمية تحديد ما إذا كانت الإدخالات المعطاة تنتمي إلى مجموعة قابلة للحساب أم لا.
• Die Entscheidbarkeit eines Problems bedeutet, es gibt mindestens einen Algorithmus, der eine definitive Lösung für das Problem liefert.
  قرارية المشكلة تعني أنه يوجد الخوارزمية واحدة على الأقل تقدم حلا نهائيا للمشكلة.
• Entscheidbarkeit ist ein zentrales Konzept in der theoretischen Informatik.
  القرارية هي مفهوم مركزي في علم الحاسوب النظري.
• Ein Problem ist entscheidbar, wenn es eine Berechnungsprozedur gibt, die für jede mögliche Eingabe entweder Ja oder Nein ausgibt.
  المشكلة قرارية إذا كان هناك إجراء حسابي يعطي إما نعم أو لا لكل إدخال ممكن.
• Eine Menge ist genau dann entscheidbar, wenn es eine Berechnungsfunktion gibt, die korrekt bestimmt, ob ein gegebenes Element ein Element dieser Menge ist oder nicht.
  المجموعة قرارية بالضبط عندما يكون هناك تابع حسابي يحدد بشكل صحيح ما إذا كان العنصر المعطى عنصرا في هذه المجموعة أم لا.