Einführung in Die Theorie Endlicher Automaten