31编程语言语法 ●语法:以句子中词的排列来表明它们的彼此关系 如C语言中,x=y+l具有正确的语法,而x+-则语 法错误。 语法是理解一个程序的重要手段,也为将源程序 翻译成目标程序提供了必要的信息。 ●但,只有语法是不够的。如“张三踢足球”和 “足球踢张三”,语法都正确,但语义?如 x=254+367,结果为5,6,6,21?
3.1 编程语言语法 ⚫ 语法：以句子中词的排列来表明它们的彼此关系。 如C语言中，x=y+z具有正确的语法，而x+-则语 法错误。 ⚫ 语法是理解一个程序的重要手段，也为将源程序 翻译成目标程序提供了必要的信息。 ⚫ 但，只有语法是不够的。如“张三踢足球”和 “足球踢张三”，语法都正确，但语义？如 x = 2.54+3.67, 结果为5,6,6.21?
本节主要内容 ●通用语法标准 ●语言的语法要素 主程序一子程序结构
本节主要内容 ⚫ 通用语法标准 ⚫ 语言的语法要素 ⚫ 主程序-子程序结构
通用语法标准 ●可读性: 如果一个程序的算法和数据结构能够明显的 从程序文本中观察出来,则这个程序是可读 的。可读的程序称之为自引证的。 可读性成为如今程序编制的重要目标是一。 增加可读性的方法:用自然语句格式、结构 化、自由使用关键字和噪声码、注释、不限 标识符长度、助记符、自由域格式、完整的 声明
通用语法标准 ⚫ 可读性： – 如果一个程序的算法和数据结构能够明显的 从程序文本中观察出来，则这个程序是可读 的。可读的程序称之为自引证的。 – 可读性成为如今程序编制的重要目标是一。 – 增加可读性的方法：用自然语句格式、结构 化、自由使用关键字和噪声码、注释、不限 标识符长度、助记符、自由域格式、完整的 声明
可写性: 可写性是指程序易于编写。语法结构简单的 语言程序可写性好。 增加可写性的方法:设计简洁、整齐的语法 结构。允许保留不明确声明和操作的隐含。 可写性与可读性是一对矛盾。简洁的结构可 增强程序的可写性,但降低了程序的可读性 如C语言,可写性较好,但可读性差。允许 保留不明确声明和操作的隐含可增强可写性, 但会降低可读性,同时可检验性差
⚫ 可写性： –可写性是指程序易于编写。语法结构简单的 语言程序可写性好。 – 增加可写性的方法：设计简洁、整齐的语法 结构。允许保留不明确声明和操作的隐含。 – 可写性与可读性是一对矛盾。简洁的结构可 增强程序的可写性，但降低了程序的可读性。 如C语言，可写性较好，但可读性差。允许 保留不明确声明和操作的隐含可增强可写性， 但会降低可读性，同时可检验性差
●易检验性: 证明程序的正确性。 这不仅涉及到语法,主要涉及到语义的正确 性验证。 目前,主要通过一些测试方法,以及谓词演 算方法来验证
⚫ 易检验性： – 证明程序的正确性。 – 这不仅涉及到语法，主要涉及到语义的正确 性验证。 – 目前，主要通过一些测试方法，以及谓词演 算方法来验证