文法的形式定义句型-read.ppt

高级语言及其文法 2.1 语言概述 什么是语言？ 2.1 语言概述 语言特征 自然语言(Natural Language) 是人与人的通讯工具 语义(semantics):环境、背景知识、语气、二义性——难以形式化 计算机语言(Computer Language) 计算机系统间、人机间通讯工具 严格的语法(Grammar)、语义(semantics) ——易于形式化：严格 2.1语言概述 语言的描述方法——现状 自然语言：自然、方便-非形式化 数学语言（符号）：严格、准确-形式化 形式化描述 高度的抽象，严格的理论基础和方便的计算机表示。 2.1 语言概述 语言——形式化的内容提取 语言(Language)：满足一定条件的句子集合 句子(Sentence)：满足一定规则的单词序列 单词(Token)：满足一定规则的字符(Character)串 语言是字和组合字的规则 例（自然语言：第译始一天课今开编上节） 今天开始上第一节编译课 2.1 语言概述 2.1 语言概述 程序设计语言——形式化的内容提取 程序设计语言(Programming Language)：组成程序的所有语句的集合。 程序(Program)：满足语法规则的语句序列。 语句(Sentence) ：满足语法规则的单词序列。 单词(Token) ：满足词法规则的字符串。 例：变量:=表达式 if 条件 then 语句