Co to jest kompletność Turinga?

Kompletność

ma miejsce, gdy język programowania jest w stanie wykonywać funkcje maszyny Turinga. Jest to koncepcja bardzo podstawowego komputera mechanicznego, czasem opisanego jako najprostszy maszyna, którą można uznać za komputer. Praktycznie wszystkie używane języki programowania, a teoretycznie komputery, które je uruchamiają, mają kompletność.

Pojęcie kompletności Turinga pochodzi od Alan Turinga, brytyjskiego informatyka, którego prace obejmowały rozszyfrowanie zakodowanych wiadomości podczas II wojny światowej. Wśród jego prac nad komputerami był rozwój filozofii tego, co komputer mógłby zrobić. Obejmowało to koncepcję, którą komputery działają po prostu poprzez uruchamianie algorytmów. To znaczy, że przestrzegają ustalonego zestawu reguł w celu przetwarzania danych, a z kolei rozwiązują problemy. Oznacza to, że komputer nie „myśli” ani nie podejmuje decyzji, jak dana osoba.

Aby zilustrować koncepcję,Turing opisał hipotetyczną maszynę, którą nazwał „a-machiną”, a „A” stoją do automatycznego; Inni nazywali to później maszyną Turinga. Maszyna przetwarzałaby rolkę taśmy, która mogłaby się cofnąć lub do przodu i zawierała linię symboli. W dowolnym momencie maszyna może przetworzyć jeden symbol i, jeśli to konieczne, go zmienić. Do celów tej koncepcji rolka taśmy może być nieskończenie długa, co oznacza, że ​​pamięć komputera nie była z natury ograniczona. Jest to analogia do pomysłu, że gdy komputer ma zestaw instrukcji do naśladowania, ilość danych, do których może zastosować te instrukcje, podlega jedynie limitom fizycznym.

Jak na ironię, większość dzisiejszych komputerów nie ma w rzeczywistości kompletności Turinga. Wynika to z faktu, że mają ograniczenia dostępnego miejsca do przechowywania, a tym samym danych, które mogą przetwarzać. Mają również ograniczenia fizyczne, w szczególności, że ostatecznie się zużyją. W rzeczywistości jest to język programowania, który ma kompletność.Z tego powodu komputer z taki program nie jest komputerem Turinga, ale może być używany do symulacji jednego.

Kompletności

​​Nie należy mylić z testem Turinga. Był to eksperyment zaprojektowany przez Turinga, aby sprawdzić, czy komputery mogą rozmawiać w języku naturalnym. Zasada testu polega na tym, że jeśli człowiek nie może odróżnić rozmowy tylko z komputerem, a innym człowiekiem komputer przechodzi test. Podczas gdy niektóre komputery zdały test, gdy zakres osób rozmów jest ograniczony, żaden nie zrobił tego w nieograniczonej rozmowie.