Teoria informacji/TI Ćwiczenia 14: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Niwinski (dyskusja | edycje)
Niwinski (dyskusja | edycje)
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 <math>\delta ,</math>
Maszyna <math>M_{\delta }</math> jednoznacznie wyznacza test
<center><math> \delta (w) = \max \{ m: \delta (w) \geq m \},</math></center>
<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ę δ:{0,1}*N nazwiemy testem, jesli dla każdych m,n,
|{w{0,1}n:δ(w)m}|2n12m

Zauważmy, że dla każdego w, istnieje co najwyżej skończenie wiele m, takich że δ(w)m. Intuicyjnie, funkcja δ(w) wskazuje, jak bardzo słowo w ,,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}}}