Widziałem strony internetowe, które rzekomo „dowodzą”, że HTML5 + CSS jest Turing Complete. Widziałem strony internetowe, które rzekomo „dowodzą”, że SQL jest Turing Complete. Widziałem kilka stron internetowych, które rzekomo „wyjaśniają”, co to znaczy być Turing Complete. Wystarczająco! Gdzie...
Czy zaakceptowanie oznacza, że TM odczyta i rozpozna znak z komórki, z której obecnie czyta? I czy tak się dzieje, że TM zatrzymuje się, jeśli dane wejściowe są
Maszyny Turinga i nieograniczona gramatyka to dwa różne formalizacje, które definiują języki RE. Niektóre języki RE są rozstrzygalne, ale nie wszystkie są. Możemy zdefiniować rozstrzygalne języki za pomocą maszyn Turinga, mówiąc, że dany język jest rozstrzygalny, jeśli istnieje TM dla języka,...
Próbuję znaleźć odpowiedzi na dwa pytania dotyczące uniwersalnej maszyny Turinga. Jak uniwersalna maszyna Turinga może symulować maszynę Turinga, jeśli symulowana ma większą liczbę stanów? Jak uniwersalna maszyna Turinga może symulować maszynę Turinga, jeśli symulowana ma większą liczbę znaków...
Pytanie brzmi: ćwiczenie 1.9 z książki Arory-Barak Computational Complexity - A Modern Approach : Zdefiniuj maszynę RAM Turing jako maszynę Turinga, która ma pamięć o dostępie swobodnym. Sformalizujemy to w następujący sposób: Maszyna ma nieskończoną tablicę A, która jest inicjalizowana dla...
Dostaję dowód przejścia z modułu wyliczającego do maszyny Turinga (kontynuuj działanie modułu wyliczającego i zobacz, czy pasuje on do danych wejściowych), ale nie widzę, jak działa inny sposób. Zgodnie z moimi notatkami i książką (Wprowadzenie do teorii obliczeń - Sipser), aby pobrać moduł...
Udowodniono, że problem decydowania, czy wejście jest palindromem, czy nie wymaga miejsca na maszynie Turinga. Jednak nawet przechowywanie danych wejściowych zajmuje miejsce n, więc czy to nie znaczy, że wszystkie maszyny Turinga wymagają miejsca Ω ( n ) ?Ω ( logn )Ω(logn)\Omega(\log n)nnnΩ ( n...
Mam następujący problem algorytmiczny: Określ przestrzeń Turinga złożoności rozpoznawania ciągów DNA, które są palindromami Watsona-Cricka. Palindromy Watsona-Cricka to ciągi, których odwróconym dopełnieniem jest ciąg oryginalny. Dopełnieniem jest zdefiniowany litery mądry inspirowany DNA: A...
OK, oto pytanie z poprzedniego testu w mojej klasie teorii obliczeń: Stan bezużyteczny w bazie TM to taki, który nigdy nie jest wprowadzany w żadnym ciągu wejściowym. Niech Udowodnij, że U S E L E S S T M jest nierozstrzygalny.U S E L E S ST M= { ⟨ M, q⟩ ∣ q jest bezużytecznym stanem w M}...
Na studiach poznawaliśmy ogólnie teorię obliczeń, a dokładniej maszyny Turinga. Jednym z wielkich wyników teoretycznych jest to, że kosztem potencjalnie dużego alfabetu (symboli) można zmniejszyć liczbę stanów do zaledwie 2. Szukałem przykładów różnych maszyn Turinga, a częstym przedstawionym...
Czy maszyna Turinga, która może odczytywać i zapisywać symbole z nieskończonego alfabetu, ma większą moc niż zwykła TM (to jedyna różnica, maszyna wciąż ma skończoną liczbę stanów)? Intuicja mówi mi, że nie, ponieważ potrzebujesz nieskończonej liczby stanów, aby odróżnić każdy symbol. Myślę więc,...
Jedno stwierdzenie twierdzenia Rice'a znajduje się na stronie 35 „Złożoności obliczeniowej: nowoczesne podejście” (Arora-Barak): Funkcja częściowa od do to funkcja, która niekoniecznie jest zdefiniowana na wszystkich jej wejściach. Mówimy, że TM oblicza funkcję cząstkową jeżeli dla każdego na...
Dlaczego liczby obliczalne (w sensie Turinga) są policzalne? To musi być bardzo oczywiste, ale obecnie po prostu tego nie
Po przeczytaniu tego pytania „ Naturalne problemy RE nierozstrzygalne, ale nie pełne Turinga ” przyszedł mi do głowy następujący język: Jeśli jest funkcją bobra zajętego (maksymalny osiągalny wynik wśród wszystkich zatrzymujących 2-symbolowych maszyn Turinga n-stanu opisanego powyżej typu, gdy...
Czy w celu udowodnienia, że 3-zabarwienie jest rozstrzygalne, wystarczy powiedzieć: Każdy węzeł na wykresie ma 3 możliwe kolory Dlatego możemy policzyć wszystkie możliwości, a następnie sprawdzić, czy żadne dwie krawędzie nie łączą węzłów o tym samym kolorze3n3n3^n Czy to dowodzi, że...
Niech łańcuch wejściowy będzie podany jako w1w2...wnw1w2...wnw_1w_2...w_n. Następnie, jeśli NFA jest obecnie w stanierrr (i przeczytał wejście do alfabetu wiwiw_i ), a następnie przed odczytaniem następnego symbolu wejściowego NFA dzieli się na dwa NFA, z których jeden jest w stanie rrr i inne...
Funkcja boolowska jest funkcją .fa: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Podstawa logiczna jest znana jako Turing complete, ponieważ pozwala na odwrócenie dowolnej sekwencji lub pozostawienie jej bez zmian. To samo można powiedzieć o bramkach .( ∨ , ∧...
W poprzednim pytaniu Czym dokładnie jest algorytm? , Zapytałem, czy posiadanie „algorytmu”, który zwraca wartość funkcji opartej na tablicy wstępnie obliczonych wartości, jest algorytmem. Jedną z odpowiedzi, która zwróciła moją uwagę, była ta: Przykład silni wchodzi w inny model obliczeń, zwany...
Wydaje mi się, że pamiętam z klasy licencjackiej, że dla Maszyny Turinga ze skończoną taśmą zawsze będą istniały odpowiednie Automaty Skończone, ale nie udało mi się znaleźć tego potwierdzonego nigdzie w Internecie. Czy tak jest w rzeczywistości, czy źle