Title: Automatentheorie und Logik