Вопросы с тегом «compilers»

В дизайне компилятора, почему левая рекурсия должна быть исключена в грамматике? Я читаю, что это потому, что это может вызвать бесконечную рекурсию, но разве это не так и для правильной рекурсивной грамматики?

20 formal-grammars  compilers  left-recursion 

Я хочу разобрать определенные пользователем доменные языки. Эти языки обычно близки к математическим обозначениям (я не разбираю естественный язык). Пользователи определяют свои DSL в нотации BNF, например так: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Подобные входные данные 1 + ( 2 …

20 formal-languages  parsers  compilers 

Ассемблер конвертирует язык ассемблера в машинный язык. Зачем компилятору конвертировать язык высокого уровня в ассемблер? Разве он не может напрямую преобразовать язык высокого уровня в машинный код?

19 compilers  code-generation  assembly 

Согласно странице Википедии о статическом одиночном назначении (SSA) , SSA используется крупными и известными проектами, такими как LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey и V8, в то время как страница с проектами использует стиль прохождения продолжения. (CPS) немного не хватает в сравнении. У меня есть представление, что CPS предпочитают компиляторы …

16 compilers  program-optimization  continuations 

Можно проанализировать документ, используя один проход из конечного автомата. Какая польза от двух проходов, т.е. иметь лексер для преобразования текста в токены и иметь анализатор для проверки правил производства на этих токенах? Почему бы не иметь один проход, который применяет правила производства непосредственно к тексту?

15 compilers  parsers 

Я работаю над компилятором для конкатенативного языка и хотел бы добавить поддержку вывода типов. Я понимаю Хиндли-Милнера, но я изучаю теорию типов по ходу дела, поэтому не знаю, как ее адаптировать. Является ли следующая система надежной и достоверной? Термин - это литерал, композиция терминов, цитата из термина или примитив. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …

15 programming-languages  logic  compilers  type-theory  type-checking 

Есть ли разница между ними? Согласно книге Уллмана , компиляторы конвертируют один язык в другой (обычно низкоуровневый), как и ассемблер. Чем они отличаются?

15 terminology  compilers 

Я знаком с идеей базового исключения хвостовой рекурсии, когда функции, которые возвращают прямой результат вызова для себя, могут быть переписаны как итерационные циклы. foo(...): # ... return foo(...) Я также понимаю, что в особом случае функция все еще может быть переписана, если рекурсивный вызов обернут в вызов cons. foo(...): # …

14 compilers  recursion  program-optimization  tail-recursion 

Должен ли вывод синтаксического анализатора быть деревом или это также может быть общий граф? Кроме того, существует ли какой-либо существующий или вероятный язык, который использует общее представление графов вместо деревьев для своего синтаксиса?

13 compilers  parsing 

Я часто работаю с лексером / парсерами , в отличие от комбинатора парсеров, и вижу людей, которые никогда не посещали уроки по синтаксическому анализу, спрашивают о парсинге двоичных данных. Обычно данные не только двоичные, но и контекстно-зависимые. Это в основном приводит к тому, что токен только одного типа, токен для …

13 programming-languages  compilers  parsers 

У меня проблема с этим упражнением: Пусть G будет следующей неоднозначной грамматикой для λ-исчисления: E → v | λv.E | EE | (E) где E - единственный нетерминальный символ, λv.E представляет абстракцию относительно переменной v в E, а EE представляет приложение. Определите LL (1) грамматику G ′ так, что L …

13 context-free  formal-grammars  compilers  parsers 

Я думаю, что понимаю, как вырубка лесов потребляет и производит список одновременно (из функции сгиба и разворачивания - посмотрите этот хороший ответ на CodeReview здесь ), но когда я сравнил это с записью в википедии о технике, о которой говорилось «удаление деревья из программы. Я понимаю, как программа может быть …

12 terminology  compilers  functional-programming 

Я недавно изучал проектирование компиляторов. Я узнал о двух типах грамматики: один - это грамматика LL, а другой - грамматика LR. Мы также знаем, что каждая грамматика LL - это LR, то есть грамматика LL - это правильное подмножество грамматики LR. Первый используется при синтаксическом анализе сверху вниз, а второй …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Это вопрос из Книги Дракона. Это грамматика: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Вопрос состоит в том, как показать, что это LL (1), но не SLR (1). Чтобы доказать, что это LL (1), я попытался построить его таблицу синтаксического анализа, но я получаю несколько продукций …

12 formal-grammars  compilers  parsers 

В комментарии к Learning F #: Какие книги, использующие другие языки программирования, можно перевести на F # для изучения функциональных концепций? Макарий заявил: Обратите внимание, что подход «CPS» нанес большой вред производительности в SML / NJ. Его модель физической оценки нарушает слишком много предположений, встроенных в аппаратное обеспечение. Если вы …

11 compilers  functional-programming  proof-assistants  continuations