Teori  bahasa  dan  otomata  merupakan  bagian  dari  teori  komputasi  pada  ilmu komputer. Beberapa teori komputasi datang dari bahasa dan rekayasa sistem, terutama yang berbasiskan matematika. Dalam hal ini penekanannya adalah pada pemecahan masalah.