Satz Von Rice Beispiel

Ist h 17 entscheidbar.

Satz von rice beispiel. Sei h 17 fhmijauf jeder eingabe stoppt m nach 17 schritteng. Sei h 17 fhmijauf jeder eingabe stoppt m nach 17 schritteng. Benannt wurde der satz nach henry gordon rice der ihn 1953 veröffentlichte 1 er besagt dass es unmöglich ist eine beliebige nicht triviale eigenschaft der erzeugten funktion einer turing maschine algorithmisch zu entscheiden. Der satz von rice ist ein ergebnis der theoretischen informatik.

Uber diese sprache sagt der satz von rice nichts aus. Sei q eine turing maschine die q berechnet. Somit ist diese sprache gem aˇ dem satz von rice nicht entscheidbar. Sei l 17 fhmijm berechnet bei eingabe der zahl 17 die zahl 42g.

Satz von rice weitere anwendungsbeispiele beispiel 3. Sei h 17 fhmijauf jeder eingabe stoppt m nach 17 schritteng. 1 m w ignoriert die eingabe y zun achst und simuliert mw auf dem leeren band. Somit ist diese sprache gem aˇ dem satz von rice nicht entscheidbar.

Satz von rice weitere anwendungsbeispiele beispiel 3. Somit ist diese sprache gem aˇ dem satz von rice nicht entscheidbar. Unentscheidbarkeit satz von rice beweis. Es ist l 17 l s f ur s ff m jf m bin 17 bin 42 g.

S r displaystyle mathcal s mathcal r ist hierbei die menge aller total berechenbaren funktionen. Sei l 17 fhmijm berechnet bei eingabe der zahl 17 die zahl 42g. Der satz von rice wirbenötigendiefolgendenaussagen. Wir ordnen nun jedem wort w 0 1 eine turing maschine m w zu die sich bei einer eingabe y 0 1 wie folgt verh alt.

Ist h 17 entscheidbar. Ist h 17 entscheidbar. Aist genau dann entscheidbar wenn die charakteristische funktionχ a. C wenn eine menge a n entscheidbar ist dann ist auch ihr komplement n a.

Satz von rice weitere anwendungsbeispiele beispiel 3. Sei l 17 fhmijm berechnet bei eingabe der zahl 17 die zahl 42g. N n mit χ a x 1 fallsx a 0 fallsx a berechenbarist. Es ist l 17 l s f ur s ff m jf m bin 17 bin 42 g.

Aus dem satz von rice folgt beispielsweise dass es keinen algorithmus gibt der für jede turing maschine entscheidet ob sie für jede eingabe hält oder nicht. Da s r gilt gibt es eine funktion q r s. Uber diese sprache sagt der satz von rice nichts aus.