lý thuyết automat và ngôn ngữ hình thức - Trịnh, Thanh Đèo (Đại học Quốc gia, 2008)