SMS: Abstrakte Maschinen