آلة تورنج

من ويكيبيديا، الموسوعة الحرة

آلة تورنج هي عبارة عن نموذج نظري بسيط يحاكي طريقة عمل الحاسوب. سميت بهذا الإسم نسبة لعالم الرياضيات الانجليزي الان تورنج الذي أوجد هذا النموذج سنة 1936م. هذا النموذج يعطي تعريف رياضي دقيق للمصطلح خوارزم, حيث أنه قادر على تنفيذ أي خوارزم.

أهمية هذا النموذج تكمن في بساطته مقارنة بجهاز الحاسوب المعقد وبالرغم من ذلك فهو قادر على تنفيذ كل خوارزمية قابلة للتنفيذ بواسطة أي حاسوب متطور. لذلك يمكن معرفة إذا كانت عملية معينة قابلة للتنفيذ بواسطة الحاسوب أم لا عن طريق فحصها بواسطة آلة تورنج. من هنا فإن لآلة تورنج استعمال واسع في مجال دراسة قدرة الحاسوب والعمليات التي يمكنه أو لا يمكنه تنفيذها، وهو ما يسمى علم قابلية الحساب.