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
JFLAP
JFLAP merupakan sebuah software simulasi untuk matakuliah Teori Bahasa Automata. Dalam JFLAP dapat mensimulasikan nondeterministic Automata, nondeterministic pushdown automata, Mesin Turing, Tata Bahasa Bebas Konteks, Parsing dan L-sistem. Penambahan untuk konstruksi diagram dan testing juga dapat dilakukan dalam JFLAP. JFLAP