チューリング完全性以外のパワーの測定
私はもともとStackOverflowでこれを尋ねようとしましたが、あまりにも主観的でした:-(。プログラミング言語の能力を定義する方法に興味があります。チューリング完全性は1つですが、ほぼ普遍的に満足しています。たとえば、アセンブリとJavaを区別する非主観的な方法を提案できる人はいますか? チューリングの完全性とは、言語が最大限に強力に出力できることを意味します(これは、実世界で非時間ベースのすべてを実行できることを意味します)。したがって、より強力なパワーの尺度を定義する場合は、別のアプローチをとる必要があります。元の質問では短さが示唆されましたが、これを定義するのは簡単ではありません。誰か他の提案がありますか?