تسمى اللغة قابلة للتحديد أو تكرارية إذا كان هناك آلة تورينج التي تقبل وتوقف كل سلسلة إدخال w. كل لغة يمكن تحديدها هي لغة تورينج مقبولة. مشكلة القرار P يمكن تحديدها إذا كانت اللغة L لجميع مثيلات نعم إلى P قابلة للتقرير.
ماذا تقصد بالقدرة على اتخاذ القرار؟
: قادر على اتخاذ القرار على وجه التحديد: قادر على أن يُقرر على النحو التالي أو لا يتبع بديهيات النظام المنطقي هل كان المنطق كاملاً …؟ وهل كان قابلاً للتقرير ، بمعنى أن هناك طريقة توضح حقيقة أو زيف كل عبارة؟ -
ما الفرق بين القدرة على اتخاذ القرار وعدم القدرة على اتخاذ القرار؟
A مشكلة القرارقابلة للحسم إذا كانت هناك خوارزمية قرار لها. وإلا فإنه غير قابل للتقرير. لإثبات أن مشكلة القرار قابلة للحسم ، يكفي إعطاء خوارزمية لها.
كيف تحسب القدرة على اتخاذ القرار؟
اللغة يمكن تحديدها إذا وفقط إذا كان يمكن التعرف عليها ومكملتها. دليل - إثبات. إذا كانت اللغة قابلة للتقرير ، فإن مكملها يمكن تحديده (عن طريق الإغلاق تحت التكملة).
ما هي مشكلة القدرة على اتخاذ القرار؟
(تعريف) التعريف: مشكلة قرار يمكن حلها بواسطة خوارزمية تتوقف على جميع المدخلات في عدد محدود من الخطواتتسمى اللغة المرتبطة لغة قابلة للتحديد. تُعرف أيضًا باسم مشكلة قابلة للحل تمامًا ، قابلة للحل حسابيًا ، قابلة للحل بشكل متكرر.
