Otomat (özdevinim), teorik bilgisayar biliminde hesaplama problemlerinin çözümlerini araştıran ve bu amaçla soyut makineler kullanan bir daldır. Otomat kelimesinin kökeni, Yunanca "kendi kendine hareket eden" anlamına gelen "αὐτόματα" kelimesine dayanır. Otomata teorisi, aşağıdaki soruları ele alır: Ne tür şeyler mekanik olarak hesaplanabilir? Hesaplanan şeyler ne kadar hızlı işlenebilir? Bunun için ne kadar hafızaya ihtiyaç vardır? Bu sorulara yanıt bulmak için otomat, basit ve soyut modeller ortaya koyar. Otomata teorisinin yakından ilgilendiği biçimsel dil kuramı, bilgisayar bilimlerinde, mantıkta ve dil bilim çalışmalarında kullanılan bir dil ailesidir.