第3章-授课PPT-20161006(完整版).pptVIP

抽象理论设计常用的符号：数字(0?9)，大小写字母(A?Z、a?z)，括号，运算符(+，?，*，/)等;用高级语言对算法进行的描述；语言的分类方法；各种数据类型的抽象实现模型；词法分析、编译、解释和代码优化的方法词法分析器、扫描器、编译器组件和编译器的自动生成方法形式语言和自动机理论；形式语义学：操作、指称、公理、代数、并发和分布式程序的形式语义特定语言：过程式的COBOL，FORTURN，ALGOL，Pascal，Ada，C），函数式的（LISP），数据流的（SISAL，VAL），面向对象的（Smalltalk，C++），逻辑的（Prolog），字符串（SNOBOL），和并发（ConcurrentPascal，Modula2）等语言；词法分析器和扫描器的产生器（如YACC，LEX），编译器产生器；语法和语义检查，成型、调试和追踪程序高级语言中有关3个形态的主要内容应用语言为使计算机系统满足某种特定应用（如商业管理系统等）而专门设计的。第四代语言：非过程性语言第一代为机器语言，第二代为汇编语言，第三代为高级语言提供了功能强大的非过程化问题定义手段，用户只需告知系统“做什么”，而无需说明“怎么做”应用语言4GL以数据库管理系统所提供的功能为核心，进一步构造了开发高层软件系统的开发环境，提高了软件的生产效率报表生成多窗口表格设计菜单生成系统等4GL的代表性软件系统：PowerBuilder和INFORMOX-4GL等。应用语言中有关抽象、理论和设计形态的主要内容抽象理论设计算法的应用语言描述特定应用领域的支撑理论，如数据库领域的支撑理论:关系数据理论在文件处理等方面的应用：如表生成，图、数据处理，统计处理等,第四代语言（4GL），如PowerBuilder、Delphi等应用语言的程序设计环境自然语言计算机处理自然语言的四个层次：第一层次是文字和语音，即基本语言信息的构成；第二层次是语法，即语言的形态结构；第三层次是语义，即语言与它所指的对象之间的关系；第四层次是语用，即语言与它的使用者之间的关系。自然语言的输入：键盘（汉字的编码输入也是通过键盘进行输入）扫描手写语音等计算机可以对输入的文字进行各种加工和处理。自然语言的形式化问题要使计算机对自然语言进行处理,就必须使其形式化。乔姆斯基：一个说本族语的人具有一种理解他过去从未听到过的句子的能力，他也能十分贴切地说出大量新的句子，而说同一种语言的人对听懂这些句子是毫不困难的。这个事实表明：人不仅具有创造新句子的能力，而且还有创造“合格”句子的能力。语言“创造性”过程的本质，其实就是由有限数量的词根据一定的规则产生正确句子的过程，进一步而言，其实质也就是一个字符串到另一个字符串的变换过程。自然的语言形式化形式文法的一般形式：G0=Vn，Vt，Po，S，其中：Vn为非终结符号的有限集合；Vt为终结符号的有限集合；Po为生成式（或称产生式）的有限集合，即形式规则；S为开始符号。一个例子G0=Vn，Vt，Po，S，其中：Vn={S，NP，VP，N，V}Vt={我，他，学，教，英语，汉语，希望}Po={S→NPVP，NP→N，VP→VNP，VP→VS，N→我，N→他，V→学，V→教，V→希望，N→英语，N→汉语}S为开始符号。S:句子；NP:名词短语；VP:动词短语；N:名词；V:动词；S→NPVP:句子由名词短语和动词短语组成；NP→N:名词短语由名词构成。一个例子根据以上形式语法的定义，可以产生以下一些“合格”的句子：(1)我学英语；(2)他学汉语；(3)我教他学汉语；(4)他教我学英语；(5)我希望他教我学英语；(6)他希望我教他学汉语；……。如何产生？以(6)为例:S???????NPVP?????根据S→NPVPNVP?????根据NP→NNVS????根据VP→VSNVNPVP???根据S→NPVPNVNVS??根据VP→VSNVNVNPVP?根据S→NPVPNVNVNVP?根据NP→NNVNVNVNP根据VP→VNPNVNVNVN根据NP→N他VNVNVN根据N→他