最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt

最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt

ID:62149282

大小:245.00 KB

页数:61页

时间:2021-04-19

最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt_第1页
最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt_第2页
最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt_第3页
最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt_第4页
最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt_第5页
资源描述:

《最新熬夜后如何保养眼部肌肤?教学讲义ppt课件.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、熬夜后如何保养眼部肌肤?其实熬夜对肌肤伤害最大的问题来源于没有清洁肌肤。如果是熬夜加班,一定要早一点做好肌肤清洁和基础护理工作,因为往往特别疲惫的时候就懒得清洁,带着妆睡觉,化妆品残留物就会渗透到肌肤里,让肌肤变得暗沉。熬夜时要补水,但不能喝太多水。熬夜时,肌肤和身体都处于缺水状态,适当喝些温开水是正确的做法,但是千万不要喝太多,否则第二天眼睛会肿的睁不开。语言的形式化模型BNF为描述程序设计语言的属性提供了一种很好的手段,但并不是充分的手段。BNF回答了程序看起来象什么,但没有回答程序是做什么的。形式化模型采用精确的数学模型来刻画研究对象,为研究、分析和操纵研究对象提供严谨的数学工具

2、和手段。本章将介绍下列形式化模型:形式文法:乔姆斯基文法分级语言的语义:属性文法、指称语义程序的验证74.1语言的形式化性质乔姆斯基分级文法语言的能力8乔姆斯基分级文法文法由非终结符、终结符、开始(非终结)符、及产生式构成文法的类别3型文法:正则文法,定义词法的模型2型文法:BNF文法,上下文无关文法1型文法:上下文有关文法0型文法:93型文法:正则文法为词法分析器提供模型。这类文法的大多数性质都是可判定的如,能产生什么样的串、给定串是否属于文法规定的语言、语言中的串是否有限等正则文法可以产生形如an的串,其中a为有限字符序列正则文法只能计数有限数常用于关键字或单词扫描102型文法—上

3、下文无关文法产生式的形式为:X,其中可以是终结符和非终结符的任意序列同样,这类文法的大多数性质都是可判定的如,能产生什么样的串、给定串是否属于文法规定的语言、语言是否为空等可用来计数和比较两个项,产生形如ancbn的串可以用堆栈来实现可用来自动产生程序的语法分析树2型和3型文法的相关问题都已基本上得到解决111型文法—上下文有关文法产生式的形式为:,其中任意非终结符串,是终结符和非终结符的任意序列,但中的符号个数应不多于的符号个数从开始符开始导出的串的长度是递增的在生成串时,需要使用固定数量的存储空间,例如识别上下文无关文法无法识别的串ancnbn上下文有关文法太复

4、杂,很难用于程序设计语言人们对上下文有关文法的很多特征还不太清楚120型文法—非限定型文法对产生式的形式没有任何限制可用来识别任意可计算的函数其大多数性质都是不可判定的返回13不可判定性不同类型的文法越来越复杂,产生的语言也越来越复杂,但是否说明计算机解决问题的能力可以越来越强,没有限制?例如:能否编写一个C语言程序来判断另一个C语言程序能否结束?但这基本上是不可能的,这不是编程人员的问题,而是因为计算机所基于的数学模型本身的局限性而导致的。14图灵机一般来说,用一种语言编写的程序也可以用其他另一种语言来实现。那么是否存在某个程序,只能用某种语言来实现,而用其他语言就无法实现?如

5、果没有,那么有哪些程序是其它程序设计语言无法表示的,为什么还需要那么多种不同的语言?如果我们将能够表示所有计算的语言都称为通用语言,那么是不是所有语言都是通用语言?如果是,是否存在更简单的通用语言?15图灵机的结构图灵机是一种用来定义可计算函数的抽象计算机图灵机只有一个单一的数据结构,即一个称为“带子”的可变长线性数组带子被分为很多格,每格上只包含一个字符图灵机还有一个指针变量,称为“读出头”,它总是指向带子上的某个格。16图灵机的操作图灵机只提供几个简单的操作:读出头所指定位置的字符可以被读出或被修改。程序可以根据读出的值进行转移。读出头可以左右移动。如果读出头移动到带子的最末端,则

6、自动在带子上加上一格,并赋予一个空字符作为初始值。17图灵机的运行图灵机开始运行时,带子上存放输入数据,读出头指向输入数据的最左端的字符;图灵机根据预先编好的操作序列读写带子上的数据、或移动读出头;如果最终能够停机,则带子上的内容就是最后的输出结果。18图灵机的能力任意可计算函数都可以用图灵机计算出来(Church论题)图灵机等价于0型文法确定型图灵机等价于非确定型图灵机。19停机问题是否存在某个通用的算法,它能够断定任意给定的图灵机在任意的输入下能否停机?停机问题是不可判断的,即不存在这样的通用算法。任意一个不可判断的问题,都等价于停机问题。结论:任何一种程序设计语言都可能代替其它语

7、言程序设计语言不存在质的区别,只有量的区别,如是否优美、易用、高效等任何一种程序设计语言都有它存在的理由返回204.2语言的语义程序设计语言基本上都是以上下文无关文法(特别是LR(k)文法)的核心设计的。但语法分析已经不再是人们感兴趣的研究问题了。现在的问题是如何确定程序的含义(即语义)。21语言的语义语言的手册必须定义语言中每个结构的含义,包括单独结构的含义以及和其他结构组合时的含义。语言提供了不同结构,用户(为了写正确的程序,预测语句的执行

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。