Нажмите здесь, чтобы увидеть мою проблему
Hi.
Что касается этого вопроса, я просто не могу понять его решение.
Мы знаем дополнение Atm = {<M,W>
: M является TM и M не принимает W} и Rtm, как описано на фото = {<M,W>
: M является TM, который отклоняет входную строку W}
если мы поместим M,epsilon
в каждый из вышеперечисленных,
the complement of Atm = M does not accept epsilon
Rtm = M rejects Epsilon
в любом случае для меня это имеет смысл, поэтому моя точка зрения находится в Rtm и дополнении Atm. Но ответ говорит, что <M,epsilon>
НЕ в Rtm, а в дополнении к Atm
Это почему?
Большое спасибо!