regular-language - 在 DFA（确定性有限自动机）的定义中，“δ:Q×Σ→Q”如何解读？

Answer 1

Answer 2

抱歉，如果条款不完全正确（英文）。大约 3 或 4 年前，我用不同的语言研究过自动机理论，因此这些术语可能并不完全准确。

δ 就像一个带有两个参数的偏函数，它将状态（该自动机的状态；Q 的元素）和“输入动作”（Σ 的元素，它是自动机* 接受的字母表）作为输入并产生新的状态自动机在提供输入动作后应该有。

基本上这可以读作：

在 Q 组自动机状态和 sigma 字母表上定义的 delta 转换函数

公式中的 × 表示状态和动作集的笛卡尔积，而 → 表示函数返回的内容属于它后面的集合（在您的情况下为 Q）。

*不要与自动机接受的语言相混淆，这将是所有具有有效转换的“输入动作”序列（即定义了 δ(stateX, input)）并引导自动机进入最终的“可接受”状态。

Answer 3

从 cue cross sigma 到 cue 的 Delta

或者

转换函数 delta 将有序的状态对和输入符号 cue cross sigma 映射到状态 cue。

Answer 4

从维基百科很容易引用：

δ 是状态转换表：我会将“×”读作表，将“→”读作该表中的条目。

然后用自然语言：指定机器处于指定状态并看到定义的符号（Σ 的元素）将导致哪种状态（Q 的元素）。