Folien
Folien
Folien
WENIGER ANZEIGEN
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
2.26 Äquivalenz regulärer Ausdrücke<br />
◮ Das Problem ist PSPACE-vollständig (was auch immer das<br />
sei).<br />
◮ Alle bisher bekannten Algorithmen sind sehr sehr langsam: die<br />
Rechenzeit wächst „stark exponentiell“ (z. B. wie 2n2 o.ä.) mit<br />
der Länge n der regulären Ausdrücke.<br />
◮ Man weiß nicht, ob es signifikant schnellere Algorithmen für<br />
das Problem gibt, aber man sie „nur“ noch nicht gefunden hat.<br />
Reguläre Ausdrücke 41/124
Change language