摘要：
对语言进行分类，有利用找出形式各样的语言中的共同特征，为语言设计提供指导。目前流行的形式语言大致可按如下方式分类。1 命令式语言主要的开发语言都是命令式语言，如C, C++, Java, Basic, Pascal。以此种语言编写的程序可以看成是一系列可执行的命令语句的集合，每一条命令语句等价于一个状态转换函数。命令式语言中的控制结构允许程序的流程或者是顺序的，或者是可选的，或者是迭代循环的。执行命令式语言的机器可以是计算机、解释器或者操作系统中的一个虚拟会话，每执行一条命令语句，机器通常变换到一个不同的状态。1.1 简单的命令式语言包括DOS中的批处理文件，数据库查询语言，表达式计算程序，命 阅读全文
