Straubing, Howard Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

'Finite Automata, Formal Logic, and Circuit Complexity' von Howard Straubing ist ein Buch, das sich mit den grundlegenden Konzepten der theoretischen Informatik beschäftigt. Es untersucht die Verbindungen zwischen endlichen Automaten, formaler Logik und der Komplexität von Schaltkreisen. Das Buch bietet einen umfassenden Überblick über die Theorie der formalen Sprachen und deren Anwendungen in der Berechnungstheorie. Straubing legt besonderes Augenmerk auf die Klassifizierung von Problemen hinsichtlich ihrer Lösungskomplexität durch Schaltkreise und deren Darstellung durch logische Formeln. Er diskutiert verschiedene Modelle von Automaten und deren Fähigkeit, bestimmte Sprachklassen zu erkennen. Außerdem werden die Beziehungen zwischen diesen Modellen und logischen Systemen detailliert analysiert. Das Werk ist sowohl für Studierende als auch für Forscher gedacht, die sich mit den theoretischen Aspekten der Informatik beschäftigen. Es bietet eine tiefe Einsicht in die mathematischen Grundlagen der Computerwissenschaften und zeigt auf, wie diese Konzepte zur Analyse der Effizienz von Algorithmen und Rechenmodellen genutzt werden können.