说明：  语言学和编程结合的交叉学科，该书为清华大学使用教材。内容包括语言的形式化及自然语言处理
(Linguistics and programming are interdisciplinary subjects. This book is a textbook for Tsinghua University. Contents include formalization of language and natural language processing)