Grundkurs Theoretische Informatik, Folie 3.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt.