OnionGrief / Chipollino

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

Актуализация рефала #275

Open xtoter opened 1 year ago

xtoter commented 1 year ago
xtoter commented 11 months ago

В ходе экспериментов по внедрению Refal-5 ПѮ на больших тестах выявлена некорректная работа (результат работы отличается от прошлого релиза, заменяются символы, примеры ниже) Был произведен откат до прошлого релиза, но с упаковкой его в deb пакет.

<     Хотя данные множества описывают, как устроены слова из $\Lang(r)$ локально, однако они не исчерпывают всей информации о языке, поскольку разные вхождения букв в регулярное выражения никак не различаются.% counterexample documentation 
---
>     Хотя данные множества описывают, как устроены слова из $\Lang(r)$ локально, однако они не исчерпывают всей информации о языке, поскольку разные вхождения букв в регулярное выражения никак не различаются.% counterexample documentation 
403c403
< %В разделе "обсуждение" можно добавлять всё что угодно по вкусу: историческую справку, какие-то интересные примеры, способы применения, связь с другими понятиями теории автоматов и т.д. Можно сделать дополнительный метакомментарий: basic documentation, добавляющую ещё какие-то простые пояснения.
---
> %В разделе "обсуждение" можно добавлять всё что угодно по вкусу: историческую справку, какие-то интересные примеры, способы применения, связь с другими понятиями теории автоматов и т.д. Можно сделать дополнительный метакомментарий: basic documentation, добавляющую ещё какие-то проÑтые пояснения.
412c412
TonitaN commented 11 months ago

@xtoter , Андрей Петрович просит минимальный тест на ошибку. Сделайте, пожалуйста, за выходные (лучше сегодня), и пришлите ему.

TonitaN commented 11 months ago

Ку? Есть кто живой?