Aufgabe der Synthese endlicher Automaten ist es, Automaten in ein System von booleschen Gleichungen umzuwandeln. Die Anzahl der Zustände sei bereits minimiert und der Automat als Zustandsgraph beschrieben. In diesem Graphen sind die einzelnen Zustände als Knoten und die Zustandsübergänge, die auf Änderungen der Eingangsvariablen folgen, als gerichtete Kanten dargestellt.
Um zu booleschen Gleichungen zu gelangen, werden zunächst die Zustände kodiert, Flipfloptypen ausgewählt und das Übergangs- und das Ausgangsschaltnetz in booleschen Gleichungen beschrieben.