O
Naja, das was Volkard gemacht hat, ist in etwa schon das, was ich machen würde:
Nimm deine beiden Automaten mit jeweiligen Zuständen A={a1,a2,a3...} und B={b1,b2,b3,...}.
Bilde das karthesische Produkt AxB={(a1,b1),...} der Zustände. Jeder so erhaltene Zustand ist ein Zustand des end-automaten. Endzustände sind die Zustände (a,b) in denen a UND b endzustand sind. Selbes gilt für den Startzustand
Nun müssen die Kanten hinzugefügt werden:
Zwischen 2 Zuständen (ai,b),(aj,b) wird eine Kante aus A hinzugefügt wenn A die Kante (ai,aj) enthält. Übergangszeichen ist dann das der Kante zugeordnete.
Das Selbe gilt für die Kanten aus B.
//edit (korrektur):
Der Automat muss zum Schluss noch angepasst werden. Wenn von einem Zustand (a1,b1) ein Zeichen für beide Automaten einen übergang erzeugt (also (a1,b1)->(a2,b1) und (a1,b1)->(a1,b2)) dann müssen diese Übergänge noch zusammengefasst werden auf (a1,b1)->(a2,b2))