【Dongle】【软考】程序语言之语言（一）

程序设计语言 

       支持程序设计，java、C、C++、PHP、Python、Delphi、PASCAL

语言翻译

       针对高级语言

       汇编：编写源程序
       解释：直接执行源程序或某中间代码
       编译：将源程序翻译成目标语言程序

定义

语法：程序设计语言的基本符号组成程序中的各个语法成分的一组规则

词法规则：基本字符构成的符号（单词）书写规则

语法规则：由符号构成语法成分的规则

语义：按语法规则构成的各个语法成分的含义，分静态和动态

静态：编译时可以确定的语法成分含义

动态：运行时才能确定的含义

语用：构成语言的各个记号 和使用者的关系，来源、使用、影响

发展（程序设计语言）

FORTRAN：子程序是实现模块化的有效途径
ALGOL：严格文法规则，采用巴克斯范式BNF来描述语言的语法，一个分程序结构语言
COBOL：面向事务处理的高级语言
PASCAL：结构化程序设计语言，从ALGOL衍生，分程序和过程统称为过程，可嵌套和递归
C：通用程序设计语言（20世纪70年代初），兼顾高级语言和汇编语言特点，提供一个丰富的运算符集合以及比较紧凑的语句格式
C++：C语言基础发展（20世纪80年代）
JAVA：初开发网络浏览器的小应用程序，通用程序设计语言，简单，语法和语义更合理（20世纪90年代）
PHP：在服务器端执行、嵌入HTML文档的脚本语言，风格类似于C语言，快速地执行动态网页，语法混合多种语言的语法，支持几乎所有流行的数据库及操作系统
Python：面向对象的解释型程序设计语言，用于编写独立程序、快速脚本和复杂应用的原型，也是脚本语言，可在虚拟机上运行，可开发任何类型的程序
Delphi：可视化开发工具，Windows环境下使用，采用面向对象的编程语言和基于构件的开发结构框架

分类

命令式：FORTRAN、PASCAL、C

       自顶向下逐步精化；按模块组装方法编程；只包含熟顺序、判定及循环构造，只允许单入口、单出口
面向对象：C++、JAVA、Smalltalk
       数据隐藏、数据抽象、用户定义类型、继承、多态
函数式：LISP
逻辑型：PROLOG

       形式逻辑为基础

基本成分

数据：常量与变量、全局量与局部量、数据类型
运算：运算符号及运算规则
控制：顺序、选择、循环、（C/C++提供的控制语句：复合、if/switch、do-while/while、goto、break、continue）

传输：赋值、数据输入/输出

函数：引用调用、值调用