计算机语言的发展

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,第 5 课 计算机语言的发展,http:/ 计,算,算机语言的发,展,展,计算机语言经,历,历了从机器语,言,言、汇编语言,、,、高级语言、,应,应用语言到自,然,然语言的发展,阶,阶段。,9,算法的机器语,言,言描述,例如：用机器,指,指令对“2+6”进行计算,的,的算法描述,1011000000000110/将“6”送到寄存,器,器AL中，数,字,字“6”放在,指,指令后八位,0000010000000010/将,数,数“2”与寄,存,存器AL中的,内,内容相加，结,果,果仍存在AL,中,中101000100101000000000000 /,把,把AL中的,内,内容送到地址,为,为5的单元中,10,算法的汇编语,言,言描述,例如：用汇编,语,语言对“2+6”进行计算,的,的算法描述,MOV AL,，,，6,ADD AL,，,，2,MOV VC,，,，AL,汇编语言语句,与,与特定的机器,指,指令有一一对,应,应的关系，经,汇,汇编程序（汇,编,编语言用户的,虚,虚拟机）翻译,为,为机器指令后,才,才能运行,11,算法的高级语,言,言描述,例如：用高级,语,语言对“2+6”进行计算,的,的算法描述,2+6,高级语言的语,句,句与特定机器,的,的指令无关,高级语言程序,经,经编译程序（,高,高级语言用户,的,的虚拟机）翻,译,译成汇编语言,，,，然后经汇编,程,程序（汇编语,言,言用户的虚拟,机,机）翻译为机,器,器指令后才能,运,运行,12,算法的应用语,言,言描述,用应用语言编,程,程，用户只需,告,告知系统“做,什,什么”，而无,需,需说明“怎么,做,做”,如：SQL,这类语言提供,了,了功能强大的,非,非过程化问题,定,定义手段,用应用语言编,写,写的程序一般,经,经应用程序包,（,（应用语言用,户,户的虚拟机）,翻,翻译成高级语,言,言程序后，再,逐,逐级向下实现,13,基于虚拟机的,计,计算机层次结,构,构,14,基于虚拟机的,计,计算机层次结,构,构,15,自然语言的计,算,算机处理,自然语言的计,算,算机处理可以,分,分为以下四个,层,层次：,第一层次是文,字,字和语音，即,基,基本语言信息,的,的构成；,第二层次是语,法,法，即语言的,形,形态结构；,第三层次是语,义,义，即语言与,它,它所指的对象,之,之间的关系；,第四层次是语,用,用，即语言与,它,它的使用者之,间,间的关系。,目前，自然语,言,言的输入问题,已,已基本解决。,要,要使计算机对,自,自然语言进行,处,处理，关键是,要,要解决自然语,言,言语法和语义,的,的形式化问题,。,。,16,自然语言的形,式,式化问题,自然语言能否,形,形式化？,人具有创造和,理,理解正确句子,的,的能力。这种,语,语言“创造性,”,”过程，其实,就,就是由有限数,量,量的词，根据,一,一定的规则产,生,生正确句子的,过,过程。进一步,而,而言，其实质,也,也就是一个字,符,符串到另一个,字,字符串的变换,过,过程。显然，,语,语言“创造性,”,”过程的本质,与,与计算过程的,本,本质是一致的,。,。,因此，可以将,自,自然语言也看,作,作是一种计算,，,，从而自然语,言,言能否实现形,式,式化的争论也,就,就不存在了。,17,自然语言的形,式,式化方法,自然语言的形,式,式语法可表示,为,为：G,0,=，其中,，,，,V,n,为非终结符号,的,的有限集合；,V,t,为终结符号的,有,有限集合；,P,0,为生成式（或,称,称产生式）的,有,有限集合，即,形,形式规则；,S为开始符号,18,自然语言的形,式,式化实例,设自然语言的,形,形式语法中，,V,n,=S，NP,，,，VP，N，V，,V,t,=我，他，,学,学，教，英语,，,，汉语，希望，,P,0,=SNPVP，NP,N，VP VNP，VP,V S，N 我，N,他，V,学，V,教,教，V 希,望,望，N 英,语,语，N 汉,语,语，,其中，,S表示句子；,NP表示名词,短,短语,VP表示动词,短,短语,N表示名词,V表示动词,S NPVP表示句子,由,由名词短语和,动,动词短语组成,NP N,表,表示名词短语,由,由名词构成,19,句子的派生过,程,程举例,20,相关图灵奖获,得,得者,约翰巴克斯,1977年图,灵,灵奖获得者，FORTRAN和BNF的,发,发明者,肯尼思艾弗,森,森,1979年图,灵,灵奖获得者，,大,大器晚成的科,学,学家，APL,的,的发明人,查尔斯霍尔,1980年图,灵,灵奖获得者，,从,从QUICKSORT、CASE到程序,设,设计语言的公,理,理化,21,相关图灵奖获,得,得者,罗宾米尔纳,1991年图,灵,灵奖狄得者，,标,标准元语言ML的开发者,彼得诺尔,2005年图,灵,灵奖获得者，,从,从天文学家到,计,计算机科学家,，,，BNF改良,家,家,弗朗西丝爱,伦,伦,2006年图,灵,灵奖获得者，,编,编译器优化理,论,论与实践的先,驱,驱,22,罗宾米尔纳,（1934?）,23,彼得诺尔,（1928?）,24,弗朗西丝爱,伦,伦,（1932?）,25,讨论,计算机发展趋,势,势是什么？,（巨型化、微,型,型化、网络化,、,、多媒体化、,智,智能化）,26,思考题,什么是形式语,言,言？试举例说,明,明。,什么是机器语,言,言？什么是汇,编,编语言？,如何用虚拟机,的,的观点来划分,计,计算机的层次,结,结构？,自然语言的计,算,算机处理分为,哪,哪4个层次？,为什么说自然,语,语言的“创造,性,性”过程的本,质,质与计算过程,的,的本质是一致,的,的？,27,All END,28,演讲完毕，谢,谢,谢观看！,