Le lingue complete di Non Turing offrono un grande vantaggio rispetto alle lingue complete di Turing in quanto sono molto più analitizzabili e, quindi, offrono possibilità di ottimizzazione molto più ampie. Tuttavia sono a malapena utilizzati e la completezza di Turing è effettivamente venduta come una buona caratteristica.
Oggi esistono lingue mainstream non complete di Turing disponibili per la programmazione generica?
Al giorno d'oggi non ci sono lingue complete per tutti i turing multi-purpose tradizionali. Esistono, tuttavia, diverse lingue specifiche del dominio complete di Turing. ANSI SQL, espressioni regolari, linguaggi di dati (HTML, CSS, JSON, ecc.) E espressioni s sono alcuni esempi degni di nota.
Non c'è un vero vantaggio per le lingue complete non-turing multi-purpose. L'aspetto "molto più analitico", che presumo sia un cenno del teorema di Rice, si applica ma non ha molto senso per le lingue che si rivolgono a diversi domini applicativi, altri requisiti hanno la precedenza. La flessibilità della completezza di Turing è molto più importante della sua complessità. I linguaggi di programmazione, come ogni altro software, sono tutti di compromessi.
Per le lingue specifiche di dominio, d'altra parte, potrebbe essere solo il contrario. Se non stai costruendo "una sola lingua per domarli tutti", sei libero di implementare solo le funzionalità che hanno senso per lo scopo specifico della tua lingua. E il più delle volte, la completezza di Turing non è una di quelle.
Leggi altre domande sui tag programming-languages turing-completeness