Avtomatlar nəzəriyyəsi
Avtomatlar nəzəriyyəsi — abstrakt maşınların və avtomatların, habelə onlardan istifadə etməklə həll edilə bilən hesablama problemlərinin öyrənilməsi. Bu, riyazi məntiqlə sıx əlaqəsi olan nəzəri kompüter elmində bir nəzəriyyədir. Avtomat sözü yunan sözü olan αὐτόματος sözündən yaranıb, "öz-özünə fəaliyyət göstərən, öz iradəsi ilə, öz-özünə hərəkət edən" deməkdir. Avtomat avtomatik olaraq əvvəlcədən müəyyən edilmiş əməliyyatlar ardıcıllığını izləyən abstrakt özüyeriyən hesablama cihazıdır. Sonlu sayda vəziyyətə malik avtomata Sonlu Avtomat (FA) və ya Sonlu Vəziyyət Maşını (FSM) deyilir. Sağdakı qrafik tanınmış avtomat növü olan sonlu vəziyyət maşınını təsvir edir. Bu avtomat vəziyyətdən (şəkildə dairələrlə təmsil olunur) və keçidlərdən (oxlarla təmsil olunur) ibarətdir. Avtomat giriş simvolunu gördükcə, əvvəlki vəziyyət və cari giriş simvolunu öz arqumentləri kimi qəbul edən keçid funksiyasına uyğun olaraq başqa vəziyyətə keçid (və ya sıçrayış) edir. Avtomatlar nəzəriyyəsi formal dil nəzəriyyəsi ilə sıx bağlıdır. Bu kontekstdə avtomatlar sonsuz ola bilən formal dillərin sonlu təmsilləri kimi istifadə olunur. Avtomatlar tez-tez tanıya biləcəkləri formal dillər sinfinə görə təsnif edilir, məsələn, əsas avtomat sinifləri arasında yuva əlaqəsini təsvir edən Çomski iyerarxiyasında. Avtomatlar hesablama nəzəriyyəsində, kompilyatorun qurulmasında, süni intellektdə, təhlildə və formal yoxlamada böyük rol oynayır.