In computability theory in computer science, it is common to consider formal languages. طبقاً للنظرية الحاسوبية في علوم الكومبيوتر ، من الشائع أن تراعي اللغات الرسمية.
The computability of a problem is closely linked to the existence of an algorithm to solve the problem. حاسوبية المشكلة ترتبط بشدة بوجود خوارزمية لحل المشكلة.
The fields of feasible computability and computational complexity study functions that can be computed efficiently. مجالات الحاسوبية العملية و التعقيد الحسابي تدرس الدوال التي قد تكون محسوبة بشكل فعّال.
A central idea in computability is that of a (computational) problem, which is a task whose computability can be explored. الفكرة المحورية في الحاسوبية هي تلك الخاصة بالمشكلة الحسابية، وهي مهمة يمكن استكشاف حاسوبيتها.
A central idea in computability is that of a (computational) problem, which is a task whose computability can be explored. الفكرة المحورية في الحاسوبية هي تلك الخاصة بالمشكلة الحسابية، وهي مهمة يمكن استكشاف حاسوبيتها.
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب.
As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation. طبقاً لمفهوم الدالة الحسابية يمكن إعطاء الدالة الحسابية النسبية تعريفات مساويه على العديد من النماذج المختلفة للحساب .
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines. وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورنغ أو آلات التسجيل.
One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation. أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power. إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله.
جوال إصدار