Turing Completeness – zupełność w sensie Turinga.

Pojęcie odnosi się do właściwości systemów obliczeniowych charakteryzującej się zdolnością do wykonywania dowolnych obliczeń, jakie można zrealizować na uniwersalnej maszynie Turinga. Oznacza to, że dany język programowania, maszyna abstrakcyjna lub model obliczeniowy jest w stanie symulować działania każdej innej maszyny Turinga, pod warunkiem posiadania nieograniczonych zasobów pamięci i czasu.

Użycie tego terminu pozwala na klasyfikację systemów obliczeniowych pod względem ich mocy obliczeniowej. Systemy zupełne w sensie Turinga mogą realizować wszelkie algorytmy, podczas gdy systemy niezupełne mają ograniczone możliwości obliczeniowe i nie są w stanie zrealizować wszystkich funkcji rekurencyjnych. Pojęcie to odgrywa istotną rolę w teorii obliczeń, informatyce teoretycznej oraz w projektowaniu i analizie języków programowania.