形式语言与自动机 部分英文单词对应
| Anglais | Chinois |
|---|---|
| string | 字符串 |
| alphabet | 字母表 |
| substring | 子串 |
| determinism | 确定性 |
| nondeterminism | 非确定性 |
| Deterministic Finite Automata | DFA |
| finite | 有穷 |
| infinite | 无穷 |
| every run of 0s | 0的每一趟~1 |
| prefix | 前缀 |
| differ by n | 相差n |
| even | 偶数 |
| odd | 偶数 |
| appear/occurrence | 出现 |
| symbol | 符号 |
| induction on | 于...的归纳 |
| consecutive | 连续的 |
| divisible by 5 | 可被5整除的 |
| binary | 二进制 |
| integer | 整数 |
| be interpreted as | 被解释为/被当做~2 |
| a multiple of 5 | 5的倍数 |
| in reverse | 反转的 |
| string consisting of | 由...组成的字符串 |
| nonempty | 非空 |
| transition table | 转换表 |
| proof/demonstrate/show/prove | 证明/说明 |
| inductive hypothesis | 归纳假设 |
| digit | 数字 |
| separated by | 被...分开 |
| regular | 正则 |
| regular expressions | 正则表达式 |
| suffix | 后缀 |
| contain | 包含 |
| except | 除了 |
| such that | 使 |
| adjacent | 相邻的 |
| set | 集合 |
| equal | 相等的 |
| closure | 闭包 |
| simplify | 简化 |
| transition diagram | 转移图 |
| eliminating | 消除 |
| pumping lemma | 泵引理 |
| perfect square/cube | 完全平方/立方 |
| prime | 质数 |
| common divisor | 公约数 |
| quotient | 商 |
| proper prefix | 真前缀 |
| states | 状态 |
| minimize | 最小化 |
| homomorphism | 同态 |
| context-free laugnage | 上下文无关语言 |
| grammar | 语法 |
| variables | 变元 |
| terminals | 终结符 |
| productions | 产生式/产物 |
| repeated | 重复的 |
| twice as many 0’s as 1’s | 0是1的二倍 |
| rightmost derivations | 最右派生 |
| derivation | 派生 |
| right-linear | 右线性 |
| a sequence of | 一连串 |
| ambiguous | 歧义的 |
| unambiguous | 非歧义的 |
| parse tree | 语法分析树 |
| operands | 操作数 |
| unit productions | 单元产生式 |
| Chomsky Normal Form | 乔姆斯基范式 |
| recursively | 递归的 |
| blocks | 块，理解同runs |
| pushdown automata | PDA，下推自动机 |
| empty stack | 空栈 |
| final state | 接受状态 |
| Turing machines | TM，图灵机 |
- eg. every run of 0s has length at least 3有0时只能是000或更多连续0
- eg. be interpreted as binary integer
感谢Doctor Z.制作的形式语言与自动机的英文单词对照，如果能帮到大家的话十分荣幸