文法和语言

• 语言是一个记号系统，完整的定义包括语法和语义两方面。
• 语法是一组说明语言的规则，文法是用来阐明这些语法规则的一个重要形式工具。
• 语义包括静态语义和动态语义，阐明语义要比语法困难的多。

---

符号和符号串

字母表: 字母表是符号的非空有穷集合。

任何程序语言都有自己的字母表，例如:

• 计算机语言：由符号“0”和“1”组成的字母表,即∑={0，1}
• Pascal字母表为： ∑={AZ, az, 09, +, -, *, /, <, =, >,:,‘,’, ;，., , (, ), {, }, [, ]}

符号串：由字母表中的符号组成的任何有穷序列称之为该字母表上的符号串,也称作”字”。

符号串的几个常用术语 ： 设s是符号串

• 前缀 : 移走s的尾部的零个或多于零个符号
• 后缀 : 删去s的头部的零个或多于零个符号
• 子串 : 从s中删去一个前缀和一个后缀
• 子序列 : 从s中删去零个或多于零个符号(不要求是连续的）
• 逆转 : 将s中的符号按相反次序写出而得到的符号串。
• 长度 : 是该符号串中的符号的数目。例 ：|aab|=3,|ε|=0。

例 ：符号串s=banana

• 前缀：ε,b,ba,ban,bana,banan,banana
• 后缀：banana,anana,nana,ana,na,a,ε
• 子串：banana,anana,banan,anan,…,ε
• 真前缀，真后缀，真子串：x≠s & x ≠ ε
• 子序列：baa (这些符号不要求是连续的）
• 逆转：ananab
• 长度：| banana | = 6

符号串的运算 ：

• 连接：设x和y是符号串，它们的连接xy是把y的符号写在x的符号之后得到的符号串。
  例如：x=ba,y=nana,xy=banana.
• 方幂：x⁰=ε; x¹=x; x²=xx; …;xⁿ=x^n-1x;
  例: x=ba, 则: x¹= ba; x²=baba; x³=bababa;…

符号串集合(语言)的运算 :

设L和M是两个符号串集合，则 :

• 合并：L∪M＝｛s|s∈L or s∈M}
• 连接：LM＝｛ st|s∈L and t∈M}
• 方幂： L⁰={ε}， L¹＝L，L²＝LL, …, Lⁿ＝L^n-1L
• 语言L的闭包，记作L^* ，L^* ＝∪Lⁱ(i>=0) =L⁰∪L¹∪L²∪L³ ∪…
• 语言L的正闭包，记作L⁺（L⁺＝L L^* ）, L⁺＝∪Lⁱ(i>=1)=L¹∪L²∪L³∪L⁴∪…

例如：L={A~Z,a~z} D={0~9}

• L∪D={A~Z,a~z ,0~9}
• LD是由所有用一个字母后跟一个数字组成的符号串所构成的集合。
• L⁴是由所有的四个字母的符号串构的集合。
• L（L∪D)^* 是由所有的字母打头的字母和数字组成的符号串所构成的集合.
• D⁺是由所有的长度大于等于1的数字串所构成的集合.

---

文法和语言的形式定义

文法G定义为四元组 (V_N,V_T,P,S)，
其中， V_N :非终结符号集; V_T :终结符号集; P:规则的集合; S:开始符(识别符)。
注: V_N, V_T和 P 是非空有穷集。S是一个非终结符,它至少要在一条产生式中作为左部出现。V_N和V_T不含公共的元素,即V_N∩V_T=φ,用V表示V_N∪V_T ,称为文法G的字母表。

文法G(VN,VT,P,S)中规则集合P的说明