Co to jest kompletność Turinga?

Turing Completes jest wtedy, 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ść.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 Standing for Automatic;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, 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.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 takim programem 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.