OnionGrief / Chipollino

преобразования регулярных выражений и конечных автоматов
Other
19 stars 4 forks source link

Линеаризующиеся эпсилоны #257

Closed TonitaN closed 1 year ago

TonitaN commented 1 year ago

В попытке сделать адекватное распознавание разметки для аннотированных эпсилонов выявлено следующее нестандартное поведение преобразователя (и фишка, как всегда, в рефал-стиле).

N1 =  Linearize.Arden.MergeBisim.Annote.Reverse.Glushkov.Linearize {(a|a*)|b} !!

Результат: размечается eps побуквенно. Так (логи до рендеринга):

    Регулярное выражение до преобразования:
    eps,1|eps,4b.2|eps,2a.0|eps,3a,2.1*a,1.1%template_oldregex

    Регулярное выражение после преобразования:
    %template_result

    linearised regex:

    e.0p.1s,1.2|e.3p.4s,4.5b.2.6|e.7p.8s,2.9a.0.10|e.11p.12s,3.13a,2.1.14*a,1.1.15%template_linearised regex
TonitaN commented 1 year ago

У нас появилось новое средство выявления рефал-стиля: Annote+эпсилоны.

Имеем: rendered_report.pdf

Скорее всего, никто уже не захочет сейчас этим заниматься. Но пусть останется на будущее.