Les langages complets non Turing offrent un grand avantage par rapport aux langages complets Turing car ils sont beaucoup plus analysables et offrent ainsi des possibilités d'optimisation beaucoup plus larges. Pourtant, ils sont à peine utilisés et l'exhaustivité de Turing est en fait vendue comme une bonne fonctionnalité.
Existe-t-il aujourd'hui des langages traditionnels non complets de Turing destinés à la programmation à usage général?