Definition und Benutzung abstrakter Maschinen
(d. h.: Syntax und Semantik ihrer Sprache)
ist wichtiges Mittel zur Strukturierung von Software.