Lý thuyết ngôn ngữ hình thức và otomat - Đặng Huy Ruận (Đại học Quốc gia, 2002)