Teoria informacji/TI Ćwiczenia 14: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Linia 65: | Linia 65: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"> | ||
<div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible-content" style="display:none"> | ||
Maszyna <math>M_{\delta }</math> jednoznacznie wyznacza test | Maszyna <math>M_{\delta }</math> jednoznacznie wyznacza test | ||
<math> \delta (w) = \max \{ m: \delta (w) \geq m \},</math> | |||
a maszyn Turinga jest oczywiście przeliczalnie wiele. | a maszyn Turinga jest oczywiście przeliczalnie wiele. | ||
</div> | </div> |
Wersja z 22:33, 25 sie 2006
Ćwiczenia
Ćwiczenie 1 [Nieobliczalność ]
{{{3}}}
Definicja [Test]
Funkcję nazwiemy testem, jesli dla każdych
Zauważmy, że dla każdego istnieje co najwyżej skończenie wiele takich że . Intuicyjnie, funkcja wskazuje, jak bardzo słowo ,,odbiega od normy". Warunek stwierdza, że takich ciągów nie może być zbyt wiele (w przeciwnym razie stanowiłyby normę).
Ćwiczenie 2 [Uniwersalny test Martina-Lofa]
{{{3}}}