30、语法推理算法：从局部搜索到多项式时间识别

语法推理算法：从局部搜索到多项式时间识别

在语法推理领域，研究人员一直致力于开发高效的算法来识别各种语言类。本文将介绍两种重要的算法：局部搜索语法推理算法和多项式时间识别多上下文无关语言的算法。

局部搜索语法推理算法

局部搜索语法推理算法旨在根据有限的单词样本（正例和反例）来识别形式语言。具体来说，给定两个单词集合 (X) 和 (Y)，目标是找到一个语法 (G)，使得 (X\subseteq L(G)) 且 (Y\cap L(G)=\varnothing)。

实验结果

以下是该算法在不同语言上的实验结果，展示了样本和推断语法的特征以及计算的 CPU 时间：
| (L) | (|X|) | (|Y|) | (K) | (|G|) | (|P|) | (N) | (\tau) |
| — | — | — | — | — | — | — | — |
| 1 | 20 | 20 | 5 | 16 | 10 | 2 | 320 |
| 2 | 20 | 5 | 5 | 19 | 11 | 3 | 370 |
| 3 | 15 | 30 | 6 | 14 | 8 | 3 | 83 |
| 4 | 20 | 20 | 20 | 22 | 11 | 1 | 609 |
| 5 | 15 | 40 | 10 | 16 | 10 | 4 | 301 |
| 6 | 20 | 20 | 10 | 8 | 5 | 1 | 317 |
| 7 | 40 | 40 | 12 | 23 | 14 | 4 | 857 |
| 8 | 15 | 15 | 6 | 22 | 15 | 5 |