Teori Bahasa, Otomata Ddan Komputasi Serta Terapannya