来自http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk-twoli1.html#30007-23021r2.2.4:
令 M = <Q, Σ, Δ, δ, q 0 , F> 为确定性有限状态换能器,其转移图如图 2.E.2 所示。
对于以下每个关系,找到一个计算关系的有限状态换能器。
一个。{ (x, y) | x 在 L(M) 中,y 在 Δ* } 中。
湾。{ (x, y) | x 在 L(M) 中,y 在 Δ* 中,并且 (x, y) 不在 R(M) } 中。
是的,这是硬件,但我一直在努力解决这些问题,至少可以使用指针。如果你想创建自己的 c. 和/或 d. 示例只是为了向我展示如何做到这一点,而不是引导我找到 a 的答案。和 b。那么显然我对此很好。
提前致谢!