Automatentheorie und Automatenmodelle