程序设计语言
- Fortran，是第一个被广泛用来进行科学和工程计算的高级语言
- ALGOL，诞生于晶体管计算机流程的年代，有严格的公式化说明
- PASCAL，过程式、结构化的设计语言，曾在高校计算机软件教学中一直处于主导地位
- C
- C++
- C#
- Objective-C
- Java
- Ruby，面向对象、动态类型的脚本语言
- PHP
- Python
- JavaScript
- Delphi，可视化开发工具，在Windows环境下使用
- Visual Basic.NET
函数式设计语言 人工智能
逻辑型程序设计语言PROLOG, 适用于编写自动定理证明
值调用。若实现函数调用时将实参的值传给相应的形参，则称为传值调用。在这种方式下形参不能向实参传递信息。
引用调用。当形式参数为饮用调用类型时，形参名实际上是实参的别名，函数对形参的访问和修改实际上就是针对相应实参的访问和改变。
编译过程
- 词法分析， 源程序可以被简单地看成是一个多行的字符串，这个阶段的任务是队源程序从前到后（从左到右）逐个字符扫描，识别出其中一个个‘单词’符号。
- 语法分析，在此法分析的基础上，根据语言的语法规则，将单词符序列分解成各类语法单位，如表达式、语句和程序等。
- 语义分析
- 中间代码生成
- 代码优化
- 目标代码生成
- 符号管理
- 出错管理
文法
文法G是一个四元组，G = (N, T, P, S), N是一个非空有限集合，其每个元素称为终结符（无法再推导），T中的每个元素成为非终结符。
- 0型语法
- 1型语法
- 2型语法
- 3型语法
词法
- 正规式
- 有限自动机