AUTOR:     Aleksander Zabłocki(1), Bartosz Zaborowski(2)
AFILIACJA: Uniwersytet Warszawski(1), Instytut Podstaw Informatyki PAN(2)
TYTUŁ:     Skończenie-stanowa optymalizacja parsera Spejd


STRESZCZENIE:

Opowiemy o trudnościach w zastosowaniu typowych, statycznych technik
transduktorowych w optymalizacji programu Spejd. Przedstawimy
wypracowane rozwiązania, w szczególności wzbogacone deterministyczne
automaty skończone, automaty operujące na znakach złożonych oraz
automaty przeskakujące. Powiemy także o technikach optymalizacji
złożeń automatów skończonych – leniwych złożeniach, stanach na
życzenie oraz o podziale wertykalnym złożonego automatu. Całość
referatu podsumujemy, przedstawiając osiągnięte wyniki optymalizacji.