SMS dit: Teori Bahasa dan Otomata