Hubungan teori bahasa dan otomata dengan komputasi

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. Melalui contoh-contoh ilustrasi-
masalah dapat dikenali latar belakang dari suatu konsep dan hubungannya dengan definis dan
teorema yang ada.

Hubungan di antara teori bahasa dan otomata dengan komputasi adalah bahasa dijadikan sebagai
input oleh suatu mesin otomata. Selanjutnya mesin otomata akan membuat keputusan yang
mengindikasikan apakah input itu diterima atau tidak. Dan komputasi berperan sebagai urutan
langkah-langkah sederhana, disusun dengan sistematis, yang mengarah pada solusi masalah.
Masalah itu sendiri juga harus didefinisikan secara jelas dan tidak ambigu. Langkah-langkah dan
prosedur pemecahan masalah tersebut harus dijelaskan menggunakan istilah yang sangat spesifik