Buku kategori Ilmu Komputer yang berjudul Pengantar Teori Bahasa Formal, Otomata, Dan Komputasi merupakan buku karya dari Ahmat Adil. Teori Bahasa dan Otomata merupakan bagian dari teori komputasi pada ilmu komputer. Ilmu komputer memiliki 2 komponen utama yaitu: pertama, model dan gagasan mendasar mengenai komputasi, Kedua, teknik rekayasa untuk perancangan sistem komputasi, meliputi perangkat keras dan perangkat lunak, khususnya penerapan rancangan dari teori. Teori bahasa dan Automata merupakan bagian pertama. Secara teoritis ilmu komputer diawali dari sejumlah berbeda disiplin ilmu: ahli biologi mempelajari Neural network, insinyur elektro mengembangkan switching sebagai tool untuk mengembangkan hardware, matematikawan bekerja mendasarkan logika dan ahli bahasa menyelidiki tata bahasa untuk natural language.