我正在研究计算任务理论。
我有一个问题 设p∈N，p>我们有一个DFA A =（Σ，Q，δ，0，F），Q = {0,1，... 。 。 ，k}， k≥p，并且存在εΣ，使得对于所有状态q∈Q，我们具有δ（q，a）= q + 1 mod p。 这些条件： （a）通过对n的归纳表明，对于所有n≥0且q <1。 p，δ（q，a ^（n·p））= q;
我很困惑，因为q + 1modp ....这不是1吗？如果是这样，这似乎使我的问题无法证实
答案 0 :(得分：1)
我非常怀疑q + (1 mod p)，{em>确实为q + 1，给定p > 4的约束。
更有可能是(q + 1) mod p，这是一个完全不同的野兽。
答案 1 :(得分：0)
1 mod 1为0，因此1 mod p不一定是1 ...