δ: Q × Σ → Q 用英语怎么说？描述 × 和 → 的含义也会有所帮助。
【问题讨论】：
标签： regular-language finite-automata dfa deterministic
【讨论】：
× 用于 X × Y 笛卡尔积， → 用于映射。
抱歉，如果条款不完全正确（英文）。大约 3 或 4 年前，我用不同的语言研究过自动机理论，因此这些术语可能并不完全准确。
δ 就像一个带有两个参数的偏函数，它将一个状态（该自动机的状态；Q 的元素）和一个“输入动作”（Σ 的元素，它是自动机接受的字母表*）作为输入，并产生自动机在提供输入动作后应该具有的新状态。
基本上可以这样理解：
定义在 Q 组自动机状态和 sigma 字母表上的 delta 转移函数
公式中的 × 表示状态和动作集的 Cartesian product，而 → 表示函数返回的内容属于它后面的集合（在您的情况下为 Q）。
*不要与自动机接受的语言相混淆，这将是所有具有有效转换的“输入动作”序列（即定义了 δ(stateX, input)）并引导自动机进入最终的“可接受”状态。
【讨论】：
δ ⊆ Q×Σ → Q 表示 δ 是 Q×Σ → Q 映射和部分函数的子集，请阅读我的答案。 for example: read this Complement DFA
δ 就像a mathematical function 称为转换函数。就像是。
z = f(x, y)
数学中的函数定义了一个集合中的元素到另一个集合的映射。在函数中，一组输入参数被称为函数的域，输出是愤怒的。
[回答]
在表达式"δ:Q×Σ → Q"，
×表示笛卡尔积（即一个集合），→是一个映射。
"δ:Q×Σ → Q"表示δ是一个转换函数，定义了从Q×Σ到Q的映射。 其中，δ的域为Q × Σ，范围为Q。
注意：Cartesian Product 本身是一个数学，表示两组之间所有可能的顺序对（映射）。
你也可以说：
δ是一个转换函数，它定义了状态集Q和语言符号Σ的笛卡尔积到状态Q集之间的映射（或者说关联）。这被缩写为δ：Q×Σ→Q
这里，Q 是有限的状态集，Σ 是有限的语言符号集。
此外，在任何自动化中，您都可以以树状方式表示转换函数。
1.Transition Table
2.Transition graph或者说状态图。
3. 转换函数：一组有限的映射规则。例如{δ(q0, a) → q1, δ(q1, a) → q2}
出于同一目的定义映射
在 DFA 中。 δ:Q×Σ → Q 也可以写成δ(Q,Σ) → Q 类似函数。在δ 函数中，两个输入参数是状态 Q 和一个语言符号 Σ，返回值是 Q。
δ(Q,Σ) → Q是什么意思
假设在你的 转换函数 δ 集合中有一个元素 δ(q0, a) → q1 这意味着。
如果当前状态是q0，那么通过使用a 符号，您可以切换到状态q1。还有δ(q0, a) → q1 的状态图：
(q0)---a---►(q1)
和转换表是：
+----+----+
|Q\Σ | a |
+----+----+
| q0 | q1 |
+----+----+
所有定义映射(q0, a) to (q1)。
一些作者在正式的 DFA 定义中写了
δ ⊆ Q×Σ → Q，这意味着δ是Partial function（未在完整的域Q×Σ上定义）。我们总是可以在有时需要的完整域上定义δ，例如查找补码 DFA。 在这里（Complement DFA），我为同一种语言编写了两个 DFA，一个是部分 DFA，另一个是补充 DFA。
【讨论】：
从 cue cross sigma 到 cue 的增量
或
转换函数 delta 将有序的状态对和输入符号 cue cross sigma 映射到状态 cue。
【讨论】：