Informatik

Wozu dient ein Produktautomat?

Ein Produktautomat kombiniert zwei Automaten zustandsweise, z.B. mit Zuständen (q1,q2)(q_1,q_2).

Damit beweist man Abschlusseigenschaften regulärer Sprachen, etwa für Schnitt, Vereinigung und Differenz.

Prinzip

p,q p,q p',q' p',q' p,q->p',q' a p p p->p,q kombiniere p' p' p->p' a q q q->p,q q' q' q->q' a