نظرية التشغيل الذاتي
left|thumb|300px|آلة ذاتية التشغيل.
نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية والأنظمة المنهجية.
left|thumb|300px|آلة ذاتية التشغيل.
UNK
Q17737
نظرية
Concept
Q68
الحاسوبية
Concept
Q11538
للبرهان الرياضي
Concept
Q2878974
علوم الحاسوب النظرية
Concept
None
الأنظمة المنهجية
UNK
Q214526
نظرية التشغيل الذاتي
Concept
+300^^http://www.w3.org/2001/XMLSchema#decimal
300
NUMBER
part of