摘要：
词法分析 单词的形式化描述工具 基于生成观点、计算机观点和识别观点，分别形成了正规文法、正规式和有穷自动机$3$种用于描述词法的工具。 正规文法 设文法$G= (V_N , V_T , P , S)$，如果任意$A \to \beta \in P , A \in V_N$，且$\beta$只能是$a 阅读全文
摘要：
文法和语言 符号和符号串 字母表：字母表$\sum$是非空有穷集合，其元素称为符号。 符号串：由字母表$\sum$中的符号组成的有穷序列称为（字母表$\sum$上的）符号串。不含任何符号的有穷序列称为空串，记为$\varepsilon$。 规则：以某种形式表达的在一定范围内共同遵守的章程和制度；这里 阅读全文