Czytałem ostatnio o rachunku Lambda, ale o dziwo nie mogę znaleźć wyjaśnienia, dlaczego nazywa się on „Lambda” lub skąd pochodzi to wyrażenie. Czy ktoś może wyjaśnić pochodzenie tego
Definicja zbioru dopuszczalnych operacji używanych do obliczeń i odpowiadających im kosztów. Niektóre przykłady modeli obejmują maszyny Turinga, funkcje rekurencyjne, rachunek lambda i systemy produkcyjne.
Czytałem ostatnio o rachunku Lambda, ale o dziwo nie mogę znaleźć wyjaśnienia, dlaczego nazywa się on „Lambda” lub skąd pochodzi to wyrażenie. Czy ktoś może wyjaśnić pochodzenie tego
Jestem studentem CS. Rozumiem, jak Turing wymyślił swoją abstrakcyjną maszynę (modelującą osobę wykonującą obliczenia), ale wydaje mi się to niewygodną, nieelegacyjną abstrakcją. Dlaczego uważamy „taśmę” i maszynę piszącą symbole, zmieniającą stan, przesuwającą taśmę tam iz powrotem? Jakie jest...
Zgadzam się, że maszyna Turinga może „rozwiązać wszystkie możliwe problemy matematyczne”. Jest tak, ponieważ jest to tylko reprezentacja algorytmu na maszynie: najpierw zrób to, a następnie zrób to, a na końcu wyślij to. Chodzi mi o to, że wszystko, co można rozwiązać, może być reprezentowane...
W obliczeniach kwantowych jaki jest równoważny model maszyny Turinga? Jest dla mnie całkiem jasne, w jaki sposób można zbudować obwody kwantowe z bram kwantowych, ale jak możemy zdefiniować kwantową maszynę Turinga (QTM), która może faktycznie korzystać z efektów kwantowych, a mianowicie działać na...
Zastanawiając się nad tym, jak przyjazny dla wielu wątków musi być nasz program, mój zespół zastanawiał się, czy nie da się nic zrobić na jednordzeniowym procesorze. Stwierdziłem, że przetwarzanie grafiki wymaga masowo równoległego przetwarzania, ale argumentują, że takie rzeczy jak DOOM zostały...
Złożoność algorytmu została zaprojektowana w taki sposób, aby była niezależna od szczegółów niższego poziomu, ale opiera się na modelu imperatywnym, np. Dostęp do tablicy i modyfikowanie węzła w drzewie zajmuje O (1). Nie dotyczy to wyłącznie języków funkcjonalnych. Dostęp do listy Haskell zajmuje...
Klasycznie istnieją 3 popularne sposoby myślenia o obliczeniach: maszyna Turinga, obwody i rachunek lambda (używam tego jako haczyka dla większości widoków funkcjonalnych). Wszystkie 3 były owocnymi sposobami myślenia o różnych typach problemów, a różne dziedziny stosują różne formuły z tego...
Jakie różnice i zależności występują między algorytmami losowymi a algorytmami niedeterministycznymi? Z Wikipedii Randomizowane algorytm jest algorytmem, w którym stosuje się stopniem losowości jako część logiki. Algorytm zwykle wykorzystuje jednolicie losowe bity jako pomocnicze dane wejściowe...
Natknąłem poniżej rachunku przez Alana M. Turinga tutaj : „Pogląd, że maszyny nie mogą wywoływać niespodzianek, jest, jak sądzę, spowodowany błędem, któremu szczególnie podoba się filozofów i matematyków. Jest to założenie, że jak tylko fakt zostanie przedstawiony umysłowi, wszystkie...
Wikipedia, jak również inne źródła, które znalazłem, wskazują voidtyp C jako typ jednostki, a nie typ pusty. Uważam to za mylące, ponieważ wydaje mi się, że voidlepiej pasuje do definicji typu pustego / dolnego. voidO ile wiem, nie zamieszkują żadnych wartości . Funkcja z typem zwracanym void...
Ostatnio w mojej klasie CS zapoznałem się z Maszyną Turinga. Po zajęciach spędziłem ponad 2 godziny, próbując dowiedzieć się, jaki jest związek między taśmą a maszyną. Byłem całkowicie nieświadomy istnienia taśm komputerowych lub tego, jak taśmy i maszyny współdziałały do dziś. Nadal nie...
Zgodnie z zaleceniem przesyłam ponownie z Przepełnienia stosu . Ostatnio zastanawiałem się nad następującym problemem. Rozważ kod standardowego „Hello world!” program: main() { printf("Hello World"); } Teraz prawie każda zmiana w tym kodzie sprawi, że będzie on całkowicie bezużyteczny, w...
Rozważając modele maszynowe obliczeń, hierarchię Chomsky'ego zazwyczaj charakteryzuje (w kolejności), automat skończony, automat push-down, automat liniowo związany i maszyny Turinga. W przypadku pierwszego i ostatniego poziomu 1 (języki zwykłe i języki z wyliczaniem rekurencyjnym) nie ma różnicy...
Niedawno usłyszałem ciekawą analogię, która stwierdza, że dowód Turinga na nierozstrzygalność problemu zatrzymania jest bardzo podobny do paradoksu fryzjerskiego Russella. Zastanawiałem się więc: matematycy w końcu zdołali ujednolicić teorię zbiorów, przechodząc od naiwnego sformułowania pola...
Szukam wyjaśnienia, w jaki sposób można udowodnić, że dwa modele obliczeń są równoważne. Czytałem książki na ten temat, z tym wyjątkiem, że pominięto dowody równoważności. Mam podstawowe pojęcie o tym, co to znaczy, że dwa modele obliczeń są równoważne (widok automatów: jeśli akceptują te same...
Wiem, że komputery kwantowe są w stanie przetwarzać superpozycję wszystkich możliwych stanów za jednym przejściem przez logikę. Wydaje się, że to właśnie ludzie wskazują, że komputery kwantowe są wyjątkowe lub przydatne. Jednak po przetworzeniu danych wejściowych superpozycyjnych otrzymujesz...
Zaczynam czytać książkę o złożoności obliczeniowej i maszynach Turinga. Oto cytat: Algorytm (np. Maszyna) może być reprezentowany jako ciąg bitów, gdy zdecydujemy się na pewne kodowanie kanoniczne. To twierdzenie zostało przedstawione jako prosty fakt, ale nie rozumiem tego. Na przykład,...
Jakie operacje należy wykonać, aby wykonać dowolne obliczenia analogowe ? Czy dodawanie, odejmowanie, mnożenie i dzielenie byłoby wystarczające? Ponadto, czy ktoś dokładnie wie, jakie problemy można rozwiązać za pomocą obliczeń analogowych, ale nie w przypadku
Słyszałem motto oddziaływanie jest silniejsze niż algorytmów z Peterem Wegner . Podstawą tego pomysłu jest to, że (klasyczna) Maszyna Turinga nie jest w stanie poradzić sobie z interakcją, to znaczy komunikacją (wejście / wyjście) ze światem zewnętrznym / środowiskiem. Jak to może być tak? Jak...
Podczas opracowywania algorytmów obliczeń kwantowych zauważyłem, że istnieją dwa podstawowe modele, w których odbywa się to. Niektóre algorytmy - takie jak problem drzewa Hamiltonian NAND (Farhi, Goldstone, Guttman) - działają poprzez zaprojektowanie stanu hamiltonowskiego i pewnego stanu...