Logo ar.boatexistence.com

كيفية إثبات القدرة على اتخاذ القرار؟

جدول المحتويات:

كيفية إثبات القدرة على اتخاذ القرار؟
كيفية إثبات القدرة على اتخاذ القرار؟

فيديو: كيفية إثبات القدرة على اتخاذ القرار؟

فيديو: كيفية إثبات القدرة على اتخاذ القرار؟
فيديو: الخطوات العشرة لعلاج التردد في اتخاذ القرارات 2024, يمكن
Anonim

لإظهار أن اللغة قابلة للتقرير ، نحتاج إلى لإنشاء آلة تورينج التي ستتوقف عند أي سلسلة إدخال من أبجدية اللغة. نظرًا لأن M هو dfa ، فلدينا بالفعل آلة Turing ونحتاج فقط إلى إظهار أن dfa يتوقف عند كل إدخال.

كيف تحسب القدرة على اتخاذ القرار؟

اللغة يمكن تحديدها إذا وفقط إذا كان يمكن التعرف عليها ومكملتها. دليل - إثبات. إذا كانت اللغة قابلة للتقرير ، فإن مكملها يمكن تحديده (عن طريق الإغلاق تحت التكملة).

كيف تثبت قدرة تورينج على اتخاذ القرار؟

أثبت أن اللغة التي يتعرف عليها تساوي اللغة المحددة وأن الخوارزمية تتوقف عند جميع المدخلات. لإثبات أن لغة معينة يمكن التعرف عليها من خلال لغة تورينج: أنشئ خوارزمية تقبل بالضبط تلك السلاسل الموجودة في اللغة يجب إما رفض أو تكرار أي سلسلة ليست في اللغة.

كيف تعرف أن اللغة يمكن التعرف عليها؟

يمكن التعرف على اللغة L إذا وفقط إذا كان هناك أداة تحقق لـ L، حيث يكون المدقق عبارة عن آلة Turing التي تتوقف على جميع المدخلات ولكل شيء. ، w∈L↔∃c∈Σ ∗. يقبل V ⟨w و c⟩.

كيف تظهر أن المشكلة غير قابلة للتقرير؟

مشكلة الكلية غير قابلة للتقرير

يمكن استخدام مشكلة التوقفلإظهار أن المشكلات الأخرى غير قابلة للحسم. مشكلة الكلية: يُقال أن الوظيفة (أو البرنامج) F تكون كاملة إذا تم تعريف F (x) لكل x (أو بشكل مشابه ، إذا توقف F (x) لكل x). لا يمكن تقرير ما إذا كانت الدالة F إجماليًا أم لا.

موصى به: