Stav dette: Teori Bahasa dan Otomata