L-图及其在 TOC 中的含义
先决条件——有限自动机介绍
所有编程语言都可以表示为有限自动机。 C、Paskal、Haskell、C++,它们都有特定的结构、语法,可以用一个简单的图来表示。大多数图表是 NFA 或 DFA。但是 NFA 和 DFA 确定了最简单的语言组:常规语言组 [乔姆斯基的层次结构]。这给我们留下了一个问题:所有其他类型的语言呢?答案之一是图灵机,但图灵机很难想象。这就是为什么在本文中我将告诉你一种称为 L-图的有限自动机。
为了理解 L-graphs 如何工作,我们需要知道 L-graphs 确定的语言类型。简而言之, L-图表示上下文相关类型的语言[以及上下文相关组包含的所有其他类型]。如果您不知道“上下文敏感”是什么意思,让我向您展示一个可以由 L-图而不是任何更简单类型的有限自动机表示的语言示例。
这种语言是 .对应的 L-graph 如下所示:
如您所见,符号“|”后面的括号控制符号“a”之后的符号数量。这将我们引向所有 L-graph 都具有的两个特征:所有 L-graph 最多有两个彼此独立并且来自输入符号括号组,两个括号组必须是正确的 [字符串 from a Dyck language] 以便给定 L-graph 接受的输入符号字符串。
您可以看到,L-图只是有限自动机的一个版本,增加了几个括号组。为了帮助您了解为什么由 L-graph 确定的语言是上下文相关的,请检查上面显示的 L-graph 必须接受哪些字符串。
最后,我想添加三个其他我将在未来使用的定义。这些定义对于假设[及其未来的证明或反证]非常重要。参考——假设(语言规律)和算法(L-graph to NFA)
如果两个括号字符串都正确,我们将在 L-graph 中称为中性路径。如果中性路径 T 可以这样表示,则 T = , 在哪里和是循环和是一条中性路径( , 要么可以是空的),T 称为巢。我们也可以说三个( , , ) 是一个巢或那个和在路径 T 中形成一个巢。
( , d)-L-graph G 中的核,定义为 Core(G, , d), 是一组 ( , d)-佳能。 ( , d)-canon, 其中和 d 是正整数,是一条最多包含 m 的路径, , 中性循环和至多 k, k d,可以这样表示的嵌套: 是路径 T 的一部分, , 我 = 1 或 3, , 是循环, 每条路径是一个巢,在哪里 = , .
最后一个定义是关于上下文无关的 L-图。如果 G 只有一个括号组,则 L-graph G 称为上下文无关(L-graph 中的所有规则都只有这两者中的一种:['symbol' | 'bracket', ?] 或 ['symbol' | ? , '括号'])。
[Dyck 语言的定义。 和是不相交的字母。存在一个双射(第一个集合中的每个元素都匹配第二个集合中的一个且只有一个元素的函数) .然后是语法定义的语言 , ,我们将称之为 Dyck 语言。]