Blitzkurs Theoretische Informatik/ Vorlage:Definition