حقائق ورؤى حول نظرية التشغيل الذاتي

نظرية التشغيل الذاتي أو نظرية الآلات ذاتيـة التشغـيل والحركة أو نظـرية الآلات المجـرّدة (بالإنجليزية: Automata Theory) هي نظرية تـهتم بتعريف ودراسـة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحـاسوبيّة الأسـاسية فـي وقتـنا الحالي ، وتستخدم بكثـرة كـأداة تنفيذ ظواهر البرهان الرياضي الحاسوبي، لذلك تعتبر من أهمّ ركائزعلوم الحاسوب النظرية والتطبيقة.