الأوتوماتون الحتمي

في علم الحاسوب ، تُعدّ الآلة الحتمية مفهومًا من مفاهيم نظرية الآلات ، حيث تُحدّد المدخلات نتيجة الانتقال من حالة إلى أخرى. ^{[ 1 ] : 41}

من بين الآلات الحتمية الشائعة، الآلة الحتمية المحدودة (DFA)، وهي آلة ذات حالات محدودة، حيث يوجد لكل زوج من الحالة ورمز الإدخال انتقال واحد فقط إلى الحالة التالية. تتعرف آلات DFA على مجموعة اللغات المنتظمة فقط. ^{[ 1 ] : 52}

إحدى الطرق القياسية لبناء آلة حالة منتهية حتمية من آلة حالة منتهية غير حتمية هي بناء مجموعة القوى . ^{[ 1 ] : 44}