Berechenbarkeit

Alphabet
(formale) Sprache
Deterministische Turingmaschine
Konfiguaration Def
Folgekonfiguration Def
Turing-berechenbar
Church-Turing These
Algorithmus Def
Berechenbarkeit
Entscheidbarkeit
Semi-Entscheidbarkeit
Reduzierbarkeit
Gödelisierung
spezielle Halteproblem Hs
allgemeine Halteproblem (H)
Satz von Rice
Korrektheitsproblem
Unentscheidbarkeit der PL1

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.