Inizialmente ho provato a chiedermelo su StackOverflow, ma era troppo soggettivo Triste Sono interessato ai metodi per definire il potere dei linguaggi di programmazione. La completezza di Turing è una, ma è quasi universalmente soddisfatta. per definire una misura del potere che discrimina tra i linguaggi di programmazione effettivamente utilizzati.Per esempio, qualcuno può proporre un metodo non soggettivo che possa discriminare tra assembly e Java?
Completezza di Turing significa che un linguaggio è massimamente potente in ciò che può produrre (il che significa praticamente che può fare qualsiasi cosa che non sia basata nel tempo nel mondo reale). Quindi, se vogliamo definire una misura di potere più strong, dobbiamo adottare un altro approccio. La questione è stata suggerita nella domanda originale, ma non è affatto facile definirla. Qualcuno ha altri suggerimenti?