Konstantin Romanov

Вопрос по GOTO: это известно, что есть теоремы о полноте структурного программирования по отношению к GOTO (прыжки только внутри функции). a) Кто-нибудь делал ли преобразован...

@zukaboo спасибо за очень важные замечания. А как вам такой вариант? ______________ Очень часто разбор текста и построение из него дерева разбора (parse tree) удобно разбить н...

Посмотрите пожалуйста — что добавить/исправить? Это заготовка под ЧАВо по разборам (синтаксическому и грамматическому)

Вопрос по Wiki с литературой. С одной стороны, там серьёзно протухли ссылки на книги. С другой стороны, на LibGen всё есть. С третьей стороны, сайты с курсами на LibGen не ска...

Можно выступить в стиле "ребёнок познаёт мир" по грамматикам? Я только сегодня догадался, почему родственные вещи - регулярные выражения и контекстно-свободные грамматики опи...

Ну тогда можно тут обсудить, а я вставлю. ## Что такое лексический и синтаксический разбор? Очень часто разбор текста и построение из него дерева разбора (parse tree) удобно...

Я, наверное, задолбал этой темой, но, в принципе, можно и раз в день гонять этот анализ, присылая результаты наутро. В смысле, не так всё отчаянно плохо — можно «договориться»...

Вопрос по оптимизации — https://habr.com/ru/articles/738272/ В смысле, суммирование частичной последовательности — это очень эффектно, но есть ли практический смысл в такой о...

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

> Нет, не решает. У "recognition" есть чёткое формальное определение — выводится ли (или распознаётся ли, для аналитических грамматик) данная строка (целиком!) данной граммати...

Вопрос по оптимизациям - какие самые самые главные оптимизации? То есть те, что по правилу Парето выдают 80% эффекта? Это удаление мёртвого кода, общие выражения, встраивание ...

Для уточнения - правильно ли я понял: пробежать по AST разных модулей параллельно, собрав ТОЛЬКО всю нужную информацию, а потом бегать по этой информации в однопотоке, но по в...

@GabrielFallen Как вы считаете, есть ли смысл добавить в Wiki по анализу фундаментальный и фундаментально занудный труд Кузо Principles of Abstract Interpretation? Там чудовищ...

Вопрос: в природе встречаются два типа статического анализа программ, один базируется, по-сути дела на абстрактной интерпретации всей программы, как целого. Второй - эвристики...

@Yaroslav_Schekin @zukaboo Как называются грамматики, поддерживаемые lex? То есть, регулярные, с жадным выбором альтернатив, а если жадный дал одно и то же, то выбирается пе...

Вопрос по решёткам — насколько я понимаю, для хорошего описания решёток нужен специальный DSL. Например, описание даже простейшей решётки на OCaml у меня получилось весьма мно...

Вопрос по терминологии, правильно ли я понимаю, что это устоявшийся перевод small-step operational semantics — «семантика малого шага» big-step operational semantics — «семан...

А почему народ часто не упоминает Футамуру? Это экзотическое знание про проекции?

Что, кстати, по antlr4 написать?

Кстати, вот вещь вроде Stalin или luaJIT зробленная в паре с научруком- это на к.т.н тянет? Вроде инженерные вещи. А с другой стороны исследовательские, если делать «первоотк...