Läufe im Produktautomaten A × B

Question

Aufgabe:

Seien A = (P,Σ,δA,p0,FA) und B = (Q,Σ,δB,q0,FB) endliche Automaten. Beweisen Sie induktiv, dass für den Produktautomaten A × B gilt:
∀w∈Σ∗ :δ^∗_A×B(p,q),w=δ^∗_A(p,w),δ^∗_B(q,w) Begründen Sie jeden der (Umformungs-) Schritte kurz.

Answer 1

Guckst du hier: https://www.stacklounge.de/5251/automaten-und-produktautomaten