Gibt es bei zwei beliebigen regulären Ausdrücken einen "effizienten" Algorithmus, um festzustellen, ob sie mit demselben Satz von Zeichenfolgen übereinstimmen? Können wir allgemeiner die Größe des Schnittpunkts der beiden Übereinstimmungssätze berechnen? Welche Algorithmen gibt es dafür und in...