计算理论基础资料，用于了解正则语言、上下文无关语言、图灵机等等(The basic data of the computational theory are used to understand the regular language, the context free language, the Turing machine, and so on.)