在 ざい 形式 けいしき 理 り 中 なか 文法 ぶんぽう 常 つね 称 しょう 作 さく 形式 けいしき 文法 ぶんぽう 是 これ 形式 けいしき 中 なか 字 じ 符 ふ 串 くし 的 てき 一 いち 产生式 しき 了 りょう 如何 いか 用 よう 的 てき 字母 じぼ 表 ひょう 生成 せいせい 符合 ふごう 语法 的 てき 有效 ゆうこう 的 てき 字 じ 符 ふ 串 くし 文法 ぶんぽう 不 ふ 字 じ 符 ふ 串 くし 的 てき 在任 ざいにん 何 なん 上下 じょうげ 文中 ぶんちゅう 可 か 只 ただ 的 てき 形式 けいしき
形式 けいしき 理 り 是 これ 应用数学 すうがく 的 てき 一 いち 支 ささえ 是 ぜ 研究 けんきゅう 形式 けいしき 文法 ぶんぽう 和 わ 的 てき 学科 がっか 理論 りろん 計算 けいさん 機 き 科學 かがく 理 り 言 げん 学 がく 形式 けいしき 学 がく 数理 すうり 等 とう 有 ゆう 着 ぎ 的 てき
形式 けいしき 文法 ぶんぽう 是 ぜ 符号 ふごう 出 だし 因 よし 文法 ぶんぽう 通常 つうじょう 被 ひ 是 ぜ 生成 せいせい 器 き 然 しか 可 か 作 さく 识别器 き ”（计算机 つくえ 学 がく 中 ちゅう 的 てき 一 いち 数 すう 用 よう 定 てい 字 じ 符 ふ 串 くし 是 ぜ 否 ひ 属 ぞく 是 ぜ 否 ひ 法 ほう 的 てき 基 もと 形式 けいしき 理 り 使用 しよう 是 ぜ 自動 じどう 機 き 理論 りろん 自 じ 理 り 某 ぼう 式 しき 是 ぜ 出 で 器 き 的 てき [ 1] 语法分析 ぶんせき 是 ぜ 通 どおり 一 いち 段 だん 自然 しぜん 中 ちゅう 的 てき 一 いち 符 ふ 串 くし 分解 ぶんかい 成 なり 一 いち 号 ごう 据 すえ 的 てき 分析 ぶんせき 每 ごと 一 いち 号 ごう 的 てき 大 だい 多数 たすう 的 てき 都 と 是 ぜ 根 ね 据 すえ 法 ほう 来 らい 的 てき 被 ひ 称 しょう 组合语义学 がく 。因 よし 在 ざい 中 ちゅう 的 てき 第 だい 然 しか 后 きさき 分析 ぶんせき 后 きさき 的 てき 形式 けいしき 在 ざい 机 つくえ 科学 かがく 中 ちゅう 被 ひ 称 しょう 分析 ぶんせき 在 ざい 生 なま 成文法 せいぶんほう 中 ちゅう 被 ひ 称 しょう 深 ふか
文法 ぶんぽう 主要 しゅよう 由 よし 只 ただ 包含 ほうがん 那 な 一 いち 半 はん 系 けい 要 よう 在 ざい 言 ごと 中 ちゅう 生成 せいせい 字 じ 符 ふ 串 くし 首 しゅ 先 さき 需要 じゅよう 一 いち 包含 ほうがん 一 いち 开始符号 ふごう 的 てき 字 じ 符 ふ 串 くし 然 しか 后 きさき 任意 にんい 产生式 しき ，直 ちょく 到 いた 生成 せいせい 既 すんで 不 ふ 包含 ほうがん 起 おこり 始 はじめ 符号 ふごう 包含 ほうがん 指定 してい 非 ひ 符号 ふごう 的 てき 字 じ 符 ふ 串 くし 式 しき 是 ぜ 通 どおり 字 じ 符 ふ 串 くし 中 ちゅう 第 だい 替 がえ 式 しき 的 てき 右 みぎ 来 らい 作用 さよう 符 ふ 串 くし 的 てき 参 まいり 图灵机 つくえ 的 てき 由 よし 文法 ぶんぽう 的 てき 包含 ほうがん 能 のう 用 よう 方式 ほうしき 的 てき 所有 しょゆう 不同 ふどう 的 てき 字 じ 符 ふ 串 くし 符号 ふごう 上 じょう 的 てき 任 にん 何 なん 特定 とくてい 式 しき 序列 じょれつ 都会 とかい 在 ざい 中 ちゅう 同 どう 那 な 文法 ぶんぽう 具有 ぐゆう 二 に 的 てき 文法 ぶんぽう 了 りょう
例 れい 假 かり 母 はは 表 ひょう 由 ゆかり a 和 わ b 组成，开始符号 ふごう 是 ぜ S ，我 わが 以下 いか 式 しき
1.
S
→
a
S
b
{\displaystyle S\rightarrow aSb}
2.
S
→
b
a
{\displaystyle S\rightarrow ba}
那 な S 开始，选择一 いち 我 わが 我 わが 字 じ 符 ふ 串 くし aSb 。如果我 わが 次 じ 我 わが aSb 替 がえ S ，得 え 到 いた 字 じ 符 ふ 串 くし aaSbb 。如果我 わが 在 ざい 我 わが S 替 がえ ba 并获得 とく 字 じ 符 ふ 串 くし aababb ，然 しか 后 きさき 完成 かんせい 了 りょう 我 わが 符号 ふごう 将 はた
S
⇒
a
S
b
⇒
a
a
S
b
b
⇒
a
a
b
a
b
b
{\displaystyle S\Rightarrow aSb\Rightarrow aaSbb\Rightarrow aababb}
文法 ぶんぽう 的 てき 集 しゅう
{
a
n
b
a
b
n
∣
n
≥
0
}
=
{
b
a
,
a
b
a
b
,
a
a
b
a
b
b
,
a
a
a
b
a
b
b
b
,
…
}
{\displaystyle \{a^{n}bab^{n}\mid n\geq 0\}=\{ba,abab,aababb,aaababbb,\dotsc \}}
a
k
{\displaystyle a^{k}}
是 これ
a
{\displaystyle a}
重 じゅう
k
{\displaystyle k}
次 つぎ
n
{\displaystyle n}
表示 ひょうじ 使用 しよう 的 てき 次数 じすう
20世 せい 年代 ねんだい 诺姆·乔姆斯基 首 くび 次 じ 提出 ていしゅつ 了 りょう 生成 せいせい 的 てき 形式 けいしき 化 か 理 り [ 2] [ 3] 文法 ぶんぽう G 由 よし 以下 いか 部分 ぶぶん
有限 ゆうげん 的 てき 非 ひ 符号 ふごう 集 しゅう N ，与 あずか G 生成 せいせい 的 てき 字 じ 符 ふ 串 くし 无交 。有限 ゆうげん 的 てき 终结符号 ふごう 集 しゅう
Σ しぐま
{\displaystyle \Sigma }
与 あずか N 无交 。有限 ゆうげん 的 てき 产生式 しき 集 しゅう P ，每 まい 下 か 形式 けいしき
(
Σ しぐま ∪
N
)
∗
N
(
Σ しぐま ∪
N
)
∗
→
(
Σ しぐま ∪
N
)
∗
{\displaystyle (\Sigma \cup N)^{*}N(\Sigma \cup N)^{*}\rightarrow (\Sigma \cup N)^{*}}
这里的 てき
∗
{\displaystyle {*}}
是 これ 克 かつ 星 ほし 号 ごう
∪
{\displaystyle \cup }
表示 ひょうじ 并集 。也就是 ぜ 每 まい 生 せい 式 しき 式 しき 左 ひだり 字 じ 符 ふ 串 くし 中 ちゅう 至 いたり 少 しょう 包括 ほうかつ 一 いち 符号 ふごう 式 しき 右 みぎ 字 じ 符 ふ 串 くし 只 ただ 有 ゆう 一 いち 空 そら 字 じ 符 ふ 串 くし 的 てき 是 ぜ 有 ゆう 任 にん 何 なん 符号 ふごう 的 てき 通常 つうじょう 是 ぜ
Λ らむだ
{\displaystyle \Lambda }
e 或 ある 者 もの
ϵ
{\displaystyle \epsilon }
开始符号 ふごう
S
∈
N
{\displaystyle S\in N}
句 く 子 こ 符号 ふごう 文法 ぶんぽう 的 てき 形式 けいしき 定 てい 四元 よつもと
(
N
,
Σ しぐま ,
P
,
S
)
{\displaystyle (N,\Sigma ,P,S)}
形式 けいしき 在 ざい 文献 ぶんけん 中 ちゅう 常 つね 被 ひ 称 しょう 重 じゅう 写 うつし 系 けい 或 ある 短 たん 法 ほう [ 4] [ 5]
形式 けいしき 文法 ぶんぽう 的 てき 一 いち 学 がく [ 编辑 ] 文法 ぶんぽう 的 てき 可 か 用字 ようじ 符 ふ 串 くし 的 てき 来 き 定 てい
设有文法 ぶんぽう
G
=
(
N
,
Σ しぐま ,
P
,
S
)
{\displaystyle G=(N,\Sigma ,P,S)}
(
Σ しぐま ∪
N
)
∗
{\displaystyle (\Sigma \cup N)^{*}}
内的 ないてき 字 じ 符 ふ 串 くし 的 てき 二 に 元 げん
⇒
G
{\displaystyle {\underset {G}{\Rightarrow }}}
直接 ちょくせつ 定 てい
x
⇒
G
y
⟺
∃
u
,
v
,
p
,
q
∈
(
Σ しぐま ∪
N
)
∗
:
(
x
=
u
p
v
)
∧
(
p
→
q
∈
P
)
∧
(
y
=
u
q
v
)
{\displaystyle x{\underset {G}{\Rightarrow }}y\iff \exists u,v,p,q\in (\Sigma \cup N)^{*}:(x=upv)\wedge (p\rightarrow q\in P)\wedge (y=uqv)}
关系
⇒
G
∗
{\displaystyle {\overset {*}{\underset {G}{\Rightarrow }}}}
或 ある 更 さら 多 た 步 ふ 定 てい
⇒
G
{\displaystyle {\underset {G}{\Rightarrow }}}
的 てき 自 じ 反 はん
句 く 型 がた 是 ぜ 指 ゆび 可 か 符号 ふごう
S
{\displaystyle S}
有限 ゆうげん 步 ふ 得 え 到 いた 的 てき
(
Σ しぐま ∪
N
)
∗
{\displaystyle (\Sigma \cup N)^{*}}
的 てき 一 いち 是 ぜ 句 く 型 がた 是 ぜ
{
w
∈
(
Σ しぐま ∪
N
)
∗
∣
S
⇒
G
∗
w
}
{\displaystyle \left\{w\in (\Sigma \cup N)^{*}\mid S{\overset {*}{\underset {G}{\Rightarrow }}}w\right\}}
的 てき 一 いち 不 ふ 包含 ほうがん 非 ひ 符号 ふごう 即 そく
Σ しぐま
∗
{\displaystyle \Sigma ^{*}}
的 てき 成 なり 的 てき 句 く 型 がた 称 しょう 句 く 子 こ [ 6]
G
{\displaystyle G}
的 てき 语言 ，记为
L
(
G
)
{\displaystyle {\boldsymbol {L}}(G)}
定 てい 始 はじめ 符号 ふごう
S
{\displaystyle S}
有限 ゆうげん 步 ふ 的 てき 所有 しょゆう 句 く 子 こ 是 ぜ 集合 しゅうごう
{
w
∈
Σ しぐま
∗
∣
S
⇒
G
∗
w
}
{\displaystyle \left\{w\in \Sigma ^{*}\mid S{\overset {*}{\underset {G}{\Rightarrow }}}w\right\}}
注意 ちゅうい 文法 ぶんぽう
G
=
(
N
,
Σ しぐま ,
P
,
S
)
{\displaystyle G=(N,\Sigma ,P,S)}
上 じょう 是 ぜ 半 はん 系 けい
(
N
∪
Σ しぐま ,
P
)
{\displaystyle (N\cup \Sigma ,P)}
完全 かんぜん 相 しょう 同 どう 的 てき 方式 ほうしき 重 じゅう 写字 しゃじ 符 ふ 串 くし 唯 ただ 符号 ふごう 在 ざい 重 じゅう 写 うつし 中重 なかしげ 写 うつし 只 ただ 指定 してい 的 てき 符号 ふごう
S
{\displaystyle S}
到 いた 没 ぼっ 有 ゆう 非 ひ 符号 ふごう 的 てき 字 じ 符 ふ 串 くし 的 てき 重 じゅう 写 うつし 感 かん
在 ざい 例 れい 子中 こなか 形式 けいしき 使用 しよう 集合 しゅうごう 建 けん 符號 ふごう
考 こう 法 ほう
G
{\displaystyle G}
N
=
{
S
,
B
}
{\displaystyle N=\left\{S,B\right\}}
Σ しぐま =
{
a
,
b
,
c
}
{\displaystyle \Sigma =\left\{a,b,c\right\}}
S
{\displaystyle S}
是 ぜ 符号 ふごう
P
{\displaystyle P}
由 よし 以下 いか 式 しき
1.
S
→
a
B
S
c
{\displaystyle S\rightarrow aBSc}
2.
S
→
a
b
c
{\displaystyle S\rightarrow abc}
3.
B
a
→
a
B
{\displaystyle Ba\rightarrow aB}
4.
B
b
→
b
b
{\displaystyle Bb\rightarrow bb}
这个文 ぶん 法定 ほうてい
L
(
G
)
=
{
a
n
b
n
c
n
∣
n
≥
1
}
{\displaystyle L(G)=\left\{a^{n}b^{n}c^{n}\mid n\geq 1\right\}}
a
n
{\displaystyle a^{n}}
表示 ひょうじ n 个
a
{\displaystyle a}
串 くし 所得 しょとく 的 てき 字 じ 符 ふ 串 くし 因 よし 言 げん 是 ぜ 由 よし 更 さら 多 た 的 てき
a
{\displaystyle a}
后 きさき 面 めん 相 しょう 同 どう 数量 すうりょう 的 てき
b
{\displaystyle b}
接着 せっちゃく 是 ぜ 相 しょう 同 どう 数量 すうりょう 的 てき
c
{\displaystyle c}
的 てき 字 じ 符 ふ 串 くし 集合 しゅうごう
L
(
G
)
{\displaystyle L(G)}
内 うち 字 じ 符 ふ 串 くし 的 てき 例 れい 子 こ
S
⇒
2
a
b
c
{\displaystyle {\boldsymbol {S}}{\underset {2}{\Rightarrow }}{\boldsymbol {abc}}}
S
⇒
1
a
B
S
c
⇒
2
a
B
a
b
c
c
⇒
3
a
a
B
b
c
c
⇒
4
a
a
b
b
c
c
{\displaystyle {\begin{aligned}{\boldsymbol {S}}&{\underset {1}{\Rightarrow }}{\boldsymbol {aBSc}}\\&{\underset {2}{\Rightarrow }}aB{\boldsymbol {abc}}c\\&{\underset {3}{\Rightarrow }}a{\boldsymbol {aB}}bcc\\&{\underset {4}{\Rightarrow }}aa{\boldsymbol {bb}}cc\end{aligned}}}
S
⇒
1
a
B
S
c
⇒
1
a
B
a
B
S
c
c
⇒
2
a
B
a
B
a
b
c
c
c
⇒
3
a
a
B
B
a
b
c
c
c
⇒
3
a
a
B
a
B
b
c
c
c
⇒
3
a
a
a
B
B
b
c
c
c
⇒
4
a
a
a
B
b
b
c
c
c
⇒
4
a
a
a
b
b
b
c
c
c
{\displaystyle {\begin{aligned}{\boldsymbol {S}}&{\underset {1}{\Rightarrow }}{\boldsymbol {aBSc}}{\underset {1}{\Rightarrow }}aB{\boldsymbol {aBSc}}c\\&{\underset {2}{\Rightarrow }}aBaB{\boldsymbol {abc}}cc\\&{\underset {3}{\Rightarrow }}a{\boldsymbol {aB}}Babccc{\underset {3}{\Rightarrow }}aaB{\boldsymbol {aB}}bccc{\underset {3}{\Rightarrow }}aa{\boldsymbol {aB}}Bbccc\\&{\underset {4}{\Rightarrow }}aaaB{\boldsymbol {bb}}ccc{\underset {4}{\Rightarrow }}aaa{\boldsymbol {bb}}bccc\end{aligned}}}
（标记
P
⇒
i
Q
{\displaystyle P{\underset {i}{\Rightarrow }}Q}
字 じ 符 ふ 串 くし P 通 つう 生 せい 式 しき i 生成 せいせい Q 替 がえ 字 じ 符 ふ 串 くし 用 よう 粗 そ 体 からだ 1956年 ねん 诺姆·乔姆斯基 首 くび 次 じ 将 はた 生成 せいせい 文法 ぶんぽう 形式 けいしき 化 か [ 2] 他 た 将 しょう 分 ぶん 在 ざい 称 しょう 乔姆斯基谱系 的 てき 四 よん 型 がた 重要 じゅうよう 的 てき 文法 ぶんぽう 分 ぶん 上下 じょうげ 文 ぶん 文法 ぶんぽう 型 がた 和 わ 正 せい 法 ほう 型 がた 可 か 法 ほう 的 てき 分 ぶん 上下 じょうげ 文 ぶん 和 わ 正 せい 言 げん 尽 つき 管 かん 比 ひ 无限制 せい 文法 ぶんぽう （0型 がた 上 じょう 制 せい 文法 ぶんぽう 可 か 表示 ひょうじ 任 にん 何 なに 图灵机 つくえ 可 か 接受 せつじゅ 的 てき 要 よう 弱 じゃく 得 とく 多 た 但 ただし 限 げん 制 せい 的 てき 最 さい 常用 じょうよう 因 いん 解析 かいせき 器 き 可 か 效 こう 地 ち [ 7] 例 れい 所有 しょゆう 正 せい 言 げん 都 と 可 か 有限 ゆうげん 状 じょう 上下 じょうげ 文 ぶん 文法 ぶんぽう 的 てき 有用 ゆうよう 子 こ 集 しゅう 有 ゆう LL剖析器 き LR剖析器 き ，以识别文法 ほう 生成 せいせい 的 てき 相 しょう 言 ごと
上下 じょうげ 文 ぶん 文法 ぶんぽう 要求 ようきゅう 式 しき 左 ひだり 能 のう 包含 ほうがん 一 いち 号 ごう 号 ごう 符号 ふごう 限 げん 制 せい 是非 ぜひ 常 つね 重要 じゅうよう 的 てき 不 ふ 是 ぜ 所有 しょゆう 的 てき 都 と 可 か 上下 じょうげ 文 ぶん 的 てき 生成 せいせい 那 な 称 しょう 上下 じょうげ 文 ぶん
上 うえ 例 れい 定 てい
L
(
G
)
=
{
a
n
b
n
c
n
∣
n
≥
1
}
{\displaystyle L(G)=\left\{a^{n}b^{n}c^{n}\mid n\geq 1\right\}}
是 ぜ 可 か 上下 じょうげ 文 ぶん 的 てき 泵引理 り 严格证明，但 ただし
{
a
n
b
n
∣
n
≥
1
}
{\displaystyle \left\{a^{n}b^{n}\mid n\geq 1\right\}}
以上 いじょう
a
{\displaystyle a}
后 きさき 面 めん 量的 りょうてき
b
{\displaystyle b}
是 ぜ 因 よし 可 か 文法 ぶんぽう
G
2
{\displaystyle G_{2}}
N
=
{
S
}
{\displaystyle N=\left\{S\right\}}
Σ しぐま =
{
a
,
b
}
{\displaystyle \Sigma =\left\{a,b\right\}}
S
{\displaystyle S}
始 はじめ 符号 ふごう 定 てい 用 よう 下 か 列 れつ 式 しき
1.
S
→
a
S
b
{\displaystyle S\rightarrow aSb}
2.
S
→
a
b
{\displaystyle S\rightarrow ab}
通 つう Earley算法 さんぽう 可 か
O
(
n
3
)
{\displaystyle O(n^{3})}
参 まいり 大 だい 符号 ふごう 内 ない 上下 じょうげ 文 ぶん 是 ぜ 每 ごと 都 と 可 か 建 けん 一 いち 台 だい 符 ふ 串 くし 入 にゅう 定 てい 字 じ 符 ふ 串 くし 是 ぜ 否 ひ 成 なり 机 つくえ 器 き
n
{\displaystyle n}
是 ぜ 字 じ 符 ふ 串 くし 的 てき [ 8] 确定性 せい 上下 じょうげ 文 ぶん 是 ぜ 可 か 在 ざい 内 ない 的 てき 上下 じょうげ 文 ぶん 的 てき 子 こ 集 しゅう [ 9] 由 ゆかり 多 た 法 ほう 或 ある 子 こ 集 しゅう
在 ざい 正 せい 法 ほう 中 なか 左 ひだり 然 しか 只 ただ 是 ぜ 一 いち 符号 ふごう 但 ただし 右 みぎ 限 げん 制 せい 右 みぎ 空 そら 字 じ 符 ふ 串 くし 符号 ふごう 或 ある 者 もの 是 ぜ 后 きさき 符号 ふごう 的 てき 符号 ふごう 但 ただし 不能 ふのう 是 ぜ 符号 ふごう 有 ゆう 使用 しよう 更 さら 的 てき 定 てい 可 か 字 じ 符 ふ 串 くし 或 ある 非 ひ 字 じ 符 ふ 串 くし 不能 ふのう 有 ゆう 任 にん 何 なん 使 し 更 さら 易 えき 表示 ひょうじ 同 どう 然 しか 定 てい 一 いち 言 ごと
上面 うわつら 定 てい
{
a
n
b
n
∣
n
≥
1
}
{\displaystyle \left\{a^{n}b^{n}\mid n\geq 1\right\}}
不 ふ 是 ぜ 但 ただし 下面 かめん 是 ぜ
{
a
n
b
m
∣
m
,
n
≥
1
}
{\displaystyle \left\{a^{n}b^{m}\mid m,n\geq 1\right\}}
a
{\displaystyle a}
后 きさき 面 めん
b
{\displaystyle b}
数量 すうりょう 可 か 一 いち 所以 ゆえん 是正 ぜせい 言 ごと 是 ぜ 因 いん 法 ほう
G
3
{\displaystyle G_{3}}
定 てい
N
=
{
S
,
A
,
B
}
{\displaystyle N=\left\{S,A,B\right\}}
Σ しぐま =
{
a
,
b
}
{\displaystyle \Sigma =\left\{a,b\right\}}
S
{\displaystyle S}
始 はじめ 符号 ふごう 式 しき
S
→
a
A
{\displaystyle S\rightarrow aA}
A
→
a
A
{\displaystyle A\rightarrow aA}
A
→
b
B
{\displaystyle A\rightarrow bB}
B
→
b
B
{\displaystyle B\rightarrow bB}
B
→
ϵ
{\displaystyle B\rightarrow \epsilon }
由正 よしまさ 法 ほう 生成 せいせい 的 てき 所有 しょゆう 都 と 可 か 有限 ゆうげん 状 じょう 在 ざい
O
(
n
)
{\displaystyle O(n)}
内 ない 出来 でき 在 ざい 中 ちゅう 正 せい 法 ほう 通常 つうじょう 使用 しよう 正 せい 来 らい 表示 ひょうじ 但 ただし 是 ぜ 中 ちゅう 使用 しよう 的 てき 有 ゆう 表 ひょう 性能 せいのう
生 なま 成文法 せいぶんほう 的 てき 形式 けいしき [ 编辑 ] 语言学 がく 家 か 和 わ 机 つくえ 科学 かがく 家 か 基 もと 的 てき 形式 けいしき 的 てき 原始 げんし 了 りょう 和 わ 通常 つうじょう 是 ぜ 增强 ぞうきょう 表 ひょう 力 りょく 或 ある 者 もの 是 ぜ 使 し 分析 ぶんせき 或 ある 解析 かいせき 更 さら 加 か 容易 ようい 一 いち 式 しき 的 てき 文法 ぶんぽう 包括 ほうかつ
提示 ていじ ：此条
目 め 页的
主 ぬし 题不
是 ぜ 递归语言 。
递归文法 ぶんぽう 是 ぜ 包含 ほうがん 递归 产生式 しき 的 てき 例 れい 存在 そんざい A ，可 か 生 せい 式 しき 生成 せいせい 一 いち A 为最左 ひだり 号 ごう 的 てき 字 じ 符 ふ 串 くし 那 な 上下 じょうげ 文 ぶん 的 てき 文法 ぶんぽう 左 ひだり 的 てき [ 14]
尽 つき 管 かん 有 ゆう 大量 たいりょう 语法分析 ぶんせき 算法 さんぽう 的 てき 文献 ぶんけん 但 ただし 算 さん 法大 ほうだい 多 た 假 かり 被 ひ 分析 ぶんせき 的 てき 最初 さいしょ 是 ぜ 通 どおり 生成 せいせい 式 しき 文法 ぶんぽう 来 らい 描述 的 てき 目 め 将 しょう 生成 せいせい 式 しき 文法 ぶんぽう 成 なり 地 ち 生成 せいせい 文法 ぶんぽう 不能 ふのう 在任 ざいにん 何 なん 方面 ほうめん 都 と 与 あずか 解析 かいせき 的 てき 算法 さんぽう 上 じょう 各 かく 法 ほう 生 せい 式 しき 的 てき 形式 けいしき 有 ゆう 不同 ふどう 的 てき 限 きり 制 せい 式 しき 被 ひ 是 ぜ 形式 けいしき 良好 りょうこう 的 てき
另一种方法是首先根据分析型文法将语言形式化，分析 ぶんせき 型 がた 文法 ぶんぽう 能 のう 更 さら 直 ちょく 接地 せっち 言 げん 分析 ぶんせき 器 き 的 てき 和 わ 分析 ぶんせき 型 がた 文法 ぶんぽう 体系 たいけい 的 てき 例 れい 子 こ 包括 ほうかつ
^ Meduna, Alexander, Formal Languages and Computation: Models and Their Applications , CRC Press: 233, 2014 [2019-11-12 ] , ISBN 9781466513457原始 げんし 内容 ないよう 存 そん 有 ゆう 主 ぬし 更 さら 多 た 信 しん 息 いき 不可 ふか 判定 はんてい ^ 2.0 2.1 Chomsky, Noam. Three models for the description of language. IRE Transactions on Information Theory . Sep 1956, 2 (3): 113–124. doi:10.1109/TIT.1956.1056813 ^ Chomsky, Noam. Syntactic Structures . The Hague: Mouton . 1957. ^ Ginsburg, Seymour . Algebraic and automata theoretic properties of formal languages. North-Holland. 1975: 8–9. ISBN 978-0-7204-2506-2 ^ Harrison, Michael A. Introduction to Formal Language Theory . Reading, Mass.: Addison-Wesley Publishing Company. 1978: 13 . ISBN 978-0-201-02955-0 ^ Sentential Forms （页面存 そん ，存 そん 互联网档案 あん ）, Context-Free Grammars, David Matuszek^ Grune, Dick & Jacobs, Ceriel H., Parsing Techniques – A Practical Guide , Ellis Horwood, England, 1990.
^ Earley, Jay, "An Efficient Context-Free Parsing Algorithm （页面存 そん ，存 そん 互联网档案 あん ）," Communications of the ACM , Vol. 13 No. 2, pp. 94-102, February 1970.
^ Knuth, D. E. On the translation of languages from left to right (PDF) . Information and Control. July 1965, 8 (6): 607–639 [29 May 2011] . doi:10.1016/S0019-9958(65)90426-2 原始 げんし 内容 ないよう (PDF) 存 そん ^ Joshi, Aravind K., et al. , "Tree Adjunct Grammars （页面存 そん ，存 そん 互联网档案 あん ）," Journal of Computer Systems Science , Vol. 10 No. 1, pp. 136-163, 1975.
^ Koster , Cornelis H. A., "Affix Grammars," in ALGOL 68 Implementation , North Holland Publishing Company, Amsterdam, p. 95-109, 1971.
^ Knuth, Donald E., "Semantics of Context-Free Languages （页面存 そん ，存 そん 互联网档案 あん ）," Mathematical Systems Theory , Vol. 2 No. 2, pp. 127-145, 1968.
^ Knuth, Donald E., "Semantics of Context-Free Languages (correction)," Mathematical Systems Theory , Vol. 5 No. 1, pp 95-96, 1971.
^ Notes on Formal Language Theory and Parsing （页面存 そん ，存 そん 互联网档案 あん ）, James Power, Department of Computer Science National University of Ireland, Maynooth Maynooth, Co. Kildare, Ireland.JPR02 ^ Birman, Alexander, The TMG Recognition Schema （页面存 そん ，存 そん 互联网档案 あん ）
^ Sleator, Daniel D. & Temperly, Davy, "Parsing English with a Link Grammar ," Technical Report CMU-CS-91-196, Carnegie Mellon University Computer Science, 1991.
^ Sleator, Daniel D. & Temperly, Davy, "Parsing English with a Link Grammar," Third International Workshop on Parsing Technologies , 1993. (Revised version of above report.)
^ Ford, Bryan, Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking （页面存 そん ，存 そん 互联网档案 あん ）
每 まい 言 げん 都 と 是 ぜ 直接 ちょくせつ 上面 うわつら 的 てき 的 てき 真子 しんじ 集 しゅう 每 まい 言 げん 内 ない 的 てき 都 と 可 か 同 どう
