Title: Einfuhrung in Die Theoretische Informatik