Title: EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK