最新版，形式语言与自动机导论，第六版。英文原版计算机专业教材。