编译原理听课笔记
文法:$G=(V,T,G,S)$,非终结符号$V$,终结符号$T$,产生式集$G$,开始符号集$S$.
句型:由文法开始符号可以经过若干步推导得到的文法符号串$\alpha$。
$$
\forall \alpha \in (V \cup T)^* \and S \xrightarrow{*} \alpha
$$
句子:由文法开始符号可以经过若干步推导得到的终结符号串$\omega$。
句型和句子区别:句子不含语法变量,句型可能含有语法变量。
语言:句子的集合。
BNF范式:一种书写产生式的格式。