Automatentheorie Und Logik

Das Buch besch�ftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen W�rtern sowie B�umen. Es behandelt klassische Resultate wie die S�tze von B�chi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden lassen. Die einzelnen Kapitel sind in vier Teile zusammengefasst.