Analyse von Rechensystemen