Automata Theory

فرع من الرياضيات وعلوم الحاسوب يدرس الآلات المجرّدة (الأوتوماتا) وقدراتها الحسابية. كان أحد الحقول التي سبقت التأسيس الرسمي للذكاء الاصطناعي.

A branch of mathematics and computer science studying abstract machines (automata) and their computational capabilities. It was one of the fields that preceded the formal founding of AI.