Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die in der Vorlesung präsentierten abstrakten Maschinen und Algorithmen verständlich zu erklären und neue abstrakte Maschinen zu entwerfen.
reale Maschinen, Prozesssorarchitekturen, Aufbau von Interpretern, Zwischencodes, threaded, code, Forth, JAVA, JAVA Virtuelle Maschine, syntaxgesteuerte Editoren, Prologinterpreter, Implementierung von funktionalen Sprachen, Abstrakte Maschinen (P4, JVM, Baummaschinen, Dalvik, WAM, VAM, SECD).