Automaten und Sprachen: Theoretische Informatik für die Praxis Mathematik, Anwendung, Intuition - Müller, Andreas (Springer Berlin Heidelberg, 2024)