# 形式文法

> 來源：中文維基百科 | 授權：CC BY-SA 4.0
> 原文：https://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%96%87%E6%B3%95
> 最後同步：2026-04-10T14:48:46.422+00:00

## TL;DR

在形式語言理論中，文法（formalgrammar)是形式語言中字串的一套產生式規則（produc

## 相關條目

- [形式語言](/wiki/%E5%BD%A2%E5%BC%8F%E8%AA%9E%E8%A8%80)
- [字串](/wiki/%E5%AD%97%E4%B8%B2)
- [字母表 (電腦科學)](/wiki/%E5%AD%97%E6%AF%8D%E8%A1%A8%20(%E9%9B%BB%E8%85%A6%E7%A7%91%E5%AD%B8))
- [句法](/wiki/%E5%8F%A5%E6%B3%95)
- [語義學](/wiki/%E8%AA%9E%E7%BE%A9%E5%AD%B8)
- [形式](/wiki/%E5%BD%A2%E5%BC%8F)
- [應用數學](/wiki/%E6%87%89%E7%94%A8%E6%95%B8%E5%AD%B8)
- [理論電腦科學](/wiki/%E7%90%86%E8%AB%96%E9%9B%BB%E8%85%A6%E7%A7%91%E5%AD%B8)
- [理論語言學](/wiki/%E7%90%86%E8%AB%96%E8%AA%9E%E8%A8%80%E5%AD%B8)
- [邏輯語義學](/wiki/%E9%82%8F%E8%BC%AF%E8%AA%9E%E7%BE%A9%E5%AD%B8)