Turingmaschinen können alle berechenbaren Funktionen berechnen.
Endliche Zustandsmaschinen können alle Probleme lösen, die Turingmaschinen lösen können.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art