概念与语言确定自动机，适合学过编译原理的高年级同学和研究生。