每种语言具有两个可识别的特性,即语言的 形式和该形式相关联的意义。 语言的实例若在语法上是正确的,其相关联 的意义可以从两个观点来看,其一是该句 子的创立者所想要表示的意义,另一是接 收者所检验到的意义。这两个意义并非总 是一样的,前者称为语言的语义,后者是 其语用意义。幽默、双关语和谜语就是利 用这两方面意义间的差异
11 每种语言具有两个可识别的特性，即语言的 形式和该形式相关联的意义。 语言的实例若在语法上是正确的，其相关联 的意义可以从两个观点来看，其一是该句 子的创立者所想要表示的意义，另一是接 收者所检验到的意义。这两个意义并非总 是一样的，前者称为语言的语义，后者是 其语用意义。幽默、双关语和谜语就是利 用这两方面意义间的差异
如果不考虑语义和语用,即只从语法这一侧 面来看语言,这种意义下的语言称作形式语 言。形式语言抽象地定义为一个数学系统。 “形式”是指这样的事实:语言的所有规则 只以什麽符号串能出现的方式来陈述。形式 语言理论是对符号串集合的表示法、结构及 其特性的研究。是程序设计语言语法分析研 究的基础。 12
12 如果不考虑语义和语用，即只从语法这一侧 面来看语言，这种意义下的语言称作形式语 言。形式语言抽象地定义为一个数学系统。 “形式”是指这样的事实：语言的所有规则 只以什麽符号串能出现的方式来陈述。形式 语言理论是对符号串集合的表示法、结构及 其特性的研究。是程序设计语言语法分析研 究的基础
有关定义和记号一回顾 符号:可以相互区别的记号(元素) 字母表Σ符号(元素)的非空有穷集合。 符号串:由字母表∑中的符号组成的任何有穷序 列称为该字母表上的符号串。1空符号串 e(没有符号的符号串)是∑上的符号串2若x 是∑上的符号串a是Σ的元素则xa是Σ上的符号 串3.y是∑上的符号串当且仅当它可以由1和2 导出。 例如:Σ={a,b} e,a,b,aa,ab, aabba都是∑上的符号串
13 有关定义和记号—回顾 符号：可以相互区别的记号（元素）。 字母表：符号（元素）的非空有穷集合。 符号串：由字母表中的符号组成的任何有穷序 列称为该字母表上的符号串。1.空符号串 ε(没有符号的符号串)是上的符号串 2.若x 是上的符号串,a是的元素,则xa是上的符号 串 3. y是上的符号串,当且仅当它可以由1和2 导出。 例如： Σ={a,b} ε,a,b,aa,ab,aabba…都是上的符号串
有关定义和记号一回顾 符号串s的头(前缀):移走符号串s尾部的零 个或多于零个符号得到的符号串 如:b是符号串 banana的一个前缀 符号串s的尾(后缀):删去符号串s头部的零 个或多于零个符号得到的符号串 如:nana是符号串 banana的一个后缀 符号串s的子串:从s中删去一个前缀和一个后 缀得到的符号串 如:ana是符号串 banana的一个子串 14
14 有关定义和记号—回顾 符号串s的头（前缀）：移走符号串s尾部的零 个或多于零个符号得到的符号串. 如： b是符号串banana的一个前缀. 符号串s的尾（后缀）：删去符号串s头部的零 个或多于零个符号得到的符号串. 如:nana是符号串banana的一个后缀. 符号串s的子串：从s中删去一个前缀和一个后 缀得到的符号串. 如:ana是符号串banana的一个子串
对于每个符号串s,s和ε两者都是符号串s的前 缀,后缀和子串。 符号串s的真前缀,真后缀,真子串:任何非空 符号串x相应地,是s的前缀,后缀或子串, 并且s≠X 符号串的运算 符号串的长度:符号串中符号的个数符号串s的长度 记为|s|。E的长度为0 连接:符号串x、y的连接,是把y的符号写在x的符号 之后得到的符号串xy 如x=ab,y=cd则xy=abcd 有 ea= ae 方幂:符号串自身连接n次得到的符号串 a定义为aaan个aal=a,a2=a则a0=e 15
15 对于每个符号串s， s和ε两者都是符号串s的前 缀，后缀和子串。 符号串s的真前缀，真后缀，真子串：任何非空 符号串 x,相应地，是s的前缀，后缀或子串， 并且 s x 符号串的运算 符号串的长度：符号串中符号的个数.符号串s的长度 记为|s|。 ε的长度为0 连接：符号串x、y的连接,是把y的符号写在x的符号 之后得到的符号串xy 如 x=ab,y=cd 则 xy=abcd 有εa = aε 方幂：符号串自身连接n次得到的符号串 a n 定义为 aa…aa n个a a1=a, a2=aa则a 0=ε