形式语言与自动机 语言及其组成: 语法与巴科斯范式: 转换生成语言学理论:语言可以通过字母表和 表上定义的一组语法规则经演绎过程生成。乔姆斯 语言与自动机的等价性:语言也是一种计算模 型,它在计算机裸机系统与人的思维、描述方式 间架起了一座沟通的桥梁,只是在描述、刻画、表 达计算时所处层面和方便程度不同而已
形式语言与自动机 • 语言及其组成： • 语法与巴科斯范式： • 转换生成语言学理论：语言可以通过字母表和 表上定义的一组语法规则经演绎过程生成。乔姆斯 基 • 语言与自动机的等价性：语言也是一种计算模 型,它在计算机裸机系统与人的思维、描述方式之 间架起了一座沟通的桥梁,只是在描述、刻画、表 达计算时所处层面和方便程度不同而已。 返回
语法与巴科斯范式 自然语言的语法结构: 〈句子〉→>〈名词短语〉〈动词短语〉 名词短语〉→〈形容词〉〈名词短语〉 名词短语〉→〈名词〉 名词〉→boy 〈形容词〉→1itte 程序设计语言的语法结构: 〈表达式〉→〈表达式〉+〈表达式 表达式 〈表达式〉*〈表达式〉 表达式〉→(〈表达式〉) 〈表达式〉→id 形式语言的语法结构 返回
语法与巴科斯范式 • 自然语言的语法结构： 〈句子〉→ 〈名词短语〉〈动词短语〉 〈名词短语〉→ 〈形容词〉〈名词短语〉 〈名词短语〉→ 〈名词〉 〈名词〉→ boy 〈形容词〉→ little …… • 程序设计语言的语法结构： 〈表达式〉→ 〈表达式〉+〈表达式〉 〈表达式〉→ 〈表达式〉*〈表达式〉 〈表达式〉→ （〈表达式〉） 〈表达式〉→ id …… • 形式语言的语法结构： 返回