# 形式文法

> 在形式语言理论中，文法（formal grammar)是形式语言中字符串的一套产生式规则（production rule）。这些规则描述了如何用语言的字母表生成符合句法(syntax)的有效的字符串。文法不描述字符串的含义，也不描述在任何上下文中可以用它们做什么——只描述它们的形式。形式语言理论是应用数学的一个分支，是研究形式文法和语言的学科。

- ID: m09461
- 分类: create
- 领域: 设计思维

## 定义

文法：描述语言结构的规则集合。产生式：将符号转换为其他符号的规则。层级：乔姆斯基层级分类。脚手架作用：语言结构的精确描述。为编程语言设计、自然语言处理提供理论基础。

## 机制

形式文法用一组产生式规则描述语言的生成结构，由终结符、非终结符、起始符号和规则构成。乔姆斯基层级按规则受限程度分为0-3型，对应不同语言族与自动机，为编程语言与自然语言提供精确、无歧义的结构定义。

## 练习

定义字母表与终结/非终结符；写产生式规则描述合法串的生成；用推导判断某串是否属于语言；依层级选择解析策略。

## 脚手架用法

语言结构的精确描述。为编程语言设计、自然语言处理提供理论基础。

[阅读网页](https://thinkingmodels.site/entries/detail/m09461)