Transformacja Turinga: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
lit. |
popr. |
||
Linia 8:
* Każdy [[zbiór rekurencyjny]] jest w relacji ≤<sub>T</sub> z dowolnym zbiorem (przynależność słowa do zbioru rekurencyjnego z definicji jest algorytmicznie sprawdzalna w skończonej liczbie kroków, więc obecność wyroczni może być zignorowana)
* Relacja ≤<sub>T</sub> nie jest [[częściowy porządek|częściowym porządkiem]] (A =<sub>T</sub> B nie implikuje A = B).
* Relacja ≤<sub>T</sub> nie jest [[porządek liniowy|liniowym porządkiem]] (istnieją takie A i B, że nie jest spełnione ani A
== Zobacz też ==
|