Maschinelle Realisierbarkeit prüfen und beurteilen