تستعمل نظرية الآلات الذاتية التشغيل في علوم الحاسوب في حلول كثيرة منها:
- تطوير برامج للتّحقق من صحة وسلامة الدّارات الرقمية.
- المحلّل المفرداتي (التركيبي) لمعظم مصرّفات لغات البرمجة؛ أي المكوّن الذي يهتمّ بتحليل وقطع النصّ الدّاخل (مصدر البرنامج) إلى وحدات منطقية؛ كأسماء المتغيرات، والأعداد والتنقيط.
- برامج لتحليل صفحات كثيرة من الإنترنت، والبحث عن كلمات معينة أو نماذج نصّية.
- برامج للتحقّق من صحّة برامج أخرى، فيما يعرف بالتحقق من النماذج (Model Checking).
Source: wikipedia.org