编译原理（清华大学出版社）-- 文法和语言 -- 文法和语言的形式定义