Synthesis of Finite State Machines, Fachbücher von Robert K. Brayton, Tiziano Villa, Timothy Kam

Das Buch "Synthesis of Finite State Machines: Functional Optimization" bietet eine umfassende Analyse der Synthese von endlichen Automaten (FSMs) mit einem besonderen Fokus auf funktionale Optimierung. Es ist eines von zwei Monographien, die sich mit der Synthese von FSMs befassen, wobei dieses Werk die Techniken zur funktionalen Optimierung behandelt, während das andere sich auf logische Optimierung konzentriert. Die funktionale Optimierung umfasst Methoden zur Berechnung aller zulässigen sequentiellen Funktionen für eine gegebene Topologie von miteinander verbundenen FSMs und zur Auswahl der optimalen sequentiellen Funktion. Das Buch ist in drei Teile gegliedert: Der erste Teil führt in grundlegende Definitionen und Theorien ein, der zweite Teil behandelt Algorithmen zur exakten Zustandsminimierung von unvollständig spezifizierten FSMs, und der dritte Teil befasst sich mit der Berechnung zulässiger Verhaltensweisen in Netzwerken von FSMs sowie den damit verbundenen Minimierungsproblemen. Die behandelten Themen sind für Fachleute und Studierende im Bereich der Informatik und Elektrotechnik von Bedeutung.