18、量子计算与螺旋规则下的扩展滑翔机 - 吞噬机

量子计算与螺旋规则下的扩展滑翔机 - 吞噬机

1. 量子计算中的符号更新与WOM效应

在量子计算相关研究里，存在一个符号更新的操作，其步骤如下：
1. 在A行标记x，标记的符号与D相反（注意在这一步之前x不能为“ + ”号）。
2. 给所有无符号的t′∈T′标记“ - ”，同时在A行标记⌊t′/2⌋，在B行标记t′的相关元素为“ - ”。
3. 必要时更新B行2x和/或2x + 1的符号。以下是所有可能的更新情况：
| 情况 | 条件 | D | x | 2x | 2x + 1（更新前） | x | 2x | 2x + 1（更新后） |
| ---- | ---- | ---- | ---- | ---- | ---- | ---- | ---- | ---- |
| 1 | 是 | - | - | - | - | - | - | - |
| 2 | 是 | - | * | - | - | + | + |
| 3.a | 2x + 1 ∉ T′，否 | + | - | - | + | - | + |
| 3.b | 2x + 1 ∈ T′，否 | + | - | - | + | + | - |
| 4 | 否 | + | * | - | + | + | - |

在自动机的研究中，写后不读（WOM）机制有着独特的作用。对于可逆有限自动机（RFA），没有WOM时它只能识别正则语言的一个子集，而带有WOM的RFA能精确识别正则语言。在量子领域也有类似情况，例如最受限类型的量子有限自动机（MCQFA）的计算能力与RFA相当，但带有WOM的MCQFA能识别所有且仅有的正则语言，达到了无WOM的最通用量子有限自动