"Automata Theory and its Applications" von Anil Nerode ist ein umfassendes Werk, das sich mit der Theorie der Automaten und deren vielfältigen Anwendungen in der Informatik und Logik befasst. Das Buch bietet eine detaillierte Einführung...