最新rain的英语文化内涵ppt课件.ppt

《最新rain的英语文化内涵ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、rain的英语文化内涵Haveyoueverheardaboutraincheck?RaincheckSupposethatyouandyourfirendpurchasedabaseballgameticketinadvanceonlinetoseeyourbest-lovedbaseballplayeronthespot.Unfortunately,bythetimeyouarrivedattheballpark,yougotcaughtinadownpour,andnowyouweresoakingwet.Miserylovescompany.

2、Theballgamewascancelledbecauseofthethundershower.Inordertocomfortyou,thestaffwouldgiveyouaticketwithwhichyoucouldwatchanotherbaseballgamefree.Thecheckyougotisusuallycalledaraincheck.第四章程序语言的性质7语言的形式化模型BNF为描述程序设计语言的属性提供了一种很好的手段，但并不是充分的手段。BNF回答了程序看起来象什么，但没有回答程序是做什么的。形式化模型采用精确的数学模

3、型来刻画研究对象，为研究、分析和操纵研究对象提供严谨的数学工具和手段。本章将介绍下列形式化模型：形式文法：乔姆斯基文法分级语言的语义：属性文法、指称语义程序的验证84.1语言的形式化性质乔姆斯基分级文法语言的能力9乔姆斯基分级文法文法由非终结符、终结符、开始（非终结）符、及产生式构成文法的类别3型文法：正则文法，定义词法的模型2型文法：BNF文法，上下文无关文法1型文法：上下文有关文法0型文法：103型文法：正则文法为词法分析器提供模型。这类文法的大多数性质都是可判定的如，能产生什么样的串、给定串是否属于文法规定的语言、语言中的串是否有限等正则文法可

4、以产生形如an的串，其中a为有限字符序列正则文法只能计数有限数常用于关键字或单词扫描112型文法—上下文无关文法产生式的形式为：X,其中可以是终结符和非终结符的任意序列同样，这类文法的大多数性质都是可判定的如，能产生什么样的串、给定串是否属于文法规定的语言、语言是否为空等可用来计数和比较两个项，产生形如ancbn的串可以用堆栈来实现可用来自动产生程序的语法分析树2型和3型文法的相关问题都已基本上得到解决121型文法—上下文有关文法产生式的形式为：,其中任意非终结符串，是终结符和非终结符的任意序列，但中的符号个数应不多于的符号个数从

5、开始符开始导出的串的长度是递增的在生成串时，需要使用固定数量的存储空间，例如识别上下文无关文法无法识别的串ancnbn上下文有关文法太复杂，很难用于程序设计语言人们对上下文有关文法的很多特征还不太清楚130型文法—非限定型文法对产生式的形式没有任何限制可用来识别任意可计算的函数其大多数性质都是不可判定的返回14不可判定性不同类型的文法越来越复杂，产生的语言也越来越复杂，但是否说明计算机解决问题的能力可以越来越强，没有限制？例如：能否编写一个C语言程序来判断另一个C语言程序能否结束？但这基本上是不可能的，这不是编程人员的问题，而是因为计算机所基于

6、的数学模型本身的局限性而导致的。15图灵机一般来说，用一种语言编写的程序也可以用其他另一种语言来实现。那么是否存在某个程序，只能用某种语言来实现，而用其他语言就无法实现？如果没有，那么有哪些程序是其它程序设计语言无法表示的，为什么还需要那么多种不同的语言？如果我们将能够表示所有计算的语言都称为通用语言，那么是不是所有语言都是通用语言？如果是，是否存在更简单的通用语言？16图灵机的结构图灵机是一种用来定义可计算函数的抽象计算机图灵机只有一个单一的数据结构，即一个称为“带子”的可变长线性数组带子被分为很多格，每格上只包含一个字符图灵机还有一个指针变量，称

7、为“读出头”，它总是指向带子上的某个格。17图灵机的操作图灵机只提供几个简单的操作：读出头所指定位置的字符可以被读出或被修改。程序可以根据读出的值进行转移。读出头可以左右移动。如果读出头移动到带子的最末端，则自动在带子上加上一格，并赋予一个空字符作为初始值。18图灵机的运行图灵机开始运行时，带子上存放输入数据，读出头指向输入数据的最左端的字符；图灵机根据预先编好的操作序列读写带子上的数据、或移动读出头；如果最终能够停机，则带子上的内容就是最后的输出结果。19图灵机的能力任意可计算函数都可以用图灵机计算出来（Church论题）图灵机等价于0型文法确定型

8、图灵机等价于非确定型图灵机。20停机问题是否存在某个通用的算法，它能够断定任意给定的图灵机在任意的输入下能否