Verwende das kartesische Produkt der beiden Zustandsmengen als neue Zustandsmenge.
Zustandsübergange von (xn, ym) nach (xp, yq) beim Lesen von a gibt es, wenn man mittels a von xn nach xp im einen und von ym nach yq im anderen Automaten konnte.
Lass dir noch was wegen der Endzustände einfallen.