In this course we concentrate on languages (e.g. sets of words) described by finite automata, context-free grammars and Turing machines.

• 在这本书中我们集中讲述由有限自动机、上下文无关文法和图灵机所描述的“语言”（单词的集合）。