Teori Bahasa, Otomata, dan Komputasi Serta Terapannya