小弟惭愧，有一道题不会做。真是走投无路，请各位也帮我想想。
问题是这样的：与通常的不确定有限自动机(NFA)不同，有一种变态的NFA含有两种状态：一种与正常NFA的状态一样的普通状态，另有一种状态标有一个变量。这种变量状态可以替换为任意一个确定有限自动机(DFA)。下图为这种替换的示意图： 问题是这样的：与通常的
问题是这样的：与通常的不确定有限自动机(NFA)不同，有一种变态的NFA含有两种状态：一种与正常NFA的状态一样的普通状态，另有一种状态标有一个变量。这种变量状态可以替换为任意一个确定有限自动机(DFA)。下图为这种替换的示意图： 问题是这样的：与通常的
