计算关系的有限状态传感器

Question

来自http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk-twoli1.html#30007-23021r2.2.4：

  

设M =＆lt; Q，Σ，Δ，δ，q ₀ ，F＆gt;是确定性有限状态传感器，其转换图在Figure 2.E.2中给出。

     

     

对于以下每个关系，找到一个计算关系的有限状态传感器。

     

一个。 {（x，y）| x是L（M），y是Δ*}   湾{（x，y）| x在L（M）中，y在Δ*中，而（x，y）不在R（M）中。

是的，这是硬件，但我一直在努力解决这些问题，至少可以使用指针。如果你想创建自己的c。和/或d。示例只是为了告诉我如何做到而不是引导我找到答案。和b。那显然我很好。

提前致谢！

Answer 1

由于您没有说明您目前取得的进展，我将假设您根本没有取得任何进展，并将就如何解决此类问题提供全面指导。< / p>

• 首先，检查转换图。你明白所有的符号是什么意思吗？请注意，传感器被描述为 deterministic 。你明白这意味着什么吗？说服自己，转换图中描述的传感器实际上是确定性的。追踪它;尝试了解换能器接受的输入以及它给出的输出。
• 接下来，计算出该换能器的L（M），Δ和R（M）是什么，因为问题是指它们。你知道那些符号是什么意思吗？
• 你知道换能器计算某种关系意味着什么吗？你明白{（x，y）| ...}用于描述关系的符号？
• 您是否可以修改转换图以消除ε/ 0转换并将其合并到相邻转换中（然后可以在单个转换时输出多个符号）？ （这可以帮助，恕我直言，创建其他接受相同输入语言的传感器。更多部分 b ，在这种情况下，部分 a 。）
• 以独立于原始传感器的方式为您自己描述您需要创建的传感器。这些传感器是否具有确定性？
• 为这些传感器创建转换图。