Semi-Entschlossenheit der Sprache $ \ Overline {l _ {\ epsilon}} $
-
29-09-2020 - |
Frage
Betrachten Sie zunächst das Problem: Angegeben
Dieselbe Technik, die ich versuche, sich für den Fall zu bewerben $ l _ {\ Epsilon}={r (m): m \ in tm_0 \ \ text {s.t. $ M $ akzeptiert $ \ Epsilon $} \} $ Wobei $ r (m) $ codierte Übergänge von $ M \ in tm_0 $ . Aber ich bin mit einigen Problemen konfrontiert. Angenommen, für Widerspruch $ \ Overline {l _ {\ epsilon}} $ ist semi-entschlossen, dann gibt es $ q \ in Tm_0 $ mit $ l (q)=Overline {l _ {\ epsilon}} $ für jeden $ M \ in TM_0 $ Wir haben folgende
Lösung
Annehmen für Widerspruch
In diesem Beitrag wurde der folgende Anspruch verwendet:
$ \ textbf {claim:} \ Text {if $ L $ und $ \ Overline {l} $ sind semi-entschlossen, dann ist $ L $ entschieden} $