Мне дали домашнее задание преобразовать следующую грамматику в недвусмысленную. A --> B A --> ε B --> B @ B B --> STRING B --> DOUBLE(STRING) где A и B — нетерминалы, а STRING и DOUBLE — нетерминалы. Я могу сделать вывод,...

Я должен написать файл .grammar для MiniPython с помощью Sablecc. Я получаю эти конфликты сдвига / уменьшения: shift/reduce conflict in state [stack: TIf PTpower *] on TMult in { [ PMltp = * TMult PTopower Mltp ] (shift) [ PMlpt = * ]...

Я пытаюсь написать грамматику логики высказываний с целью создания парсера LL (лексический анализ). Я пробовал следующую грамматику: F = F and F F = F or F F = F => F F = F <=> F F = not F F = (F) D = a но я обнаружил, что это...

Я смотрю на следующую грамматику и считаю ее неоднозначной в строке 3, но не уверен. <SL> → <S> <SL> → <SL> <S> <S> → i <B> <S> e <S> <S> → i <B> <S> <S> → x <S>...

У меня проблема с распознаванием языков. Учитывая определенный язык, например a n cb 2n , n > 0 , как мне быстро определить, какой тип принадлежит согласно Хомскому? Моя идея заключалась в том, чтобы определить грамматику, которая ее генерирует,...

Я пробовал fastparse, parboiled2 и scala-combinators. У них всех есть эта проблема при определении LEXER: LET_KEYWORD ::= "let" IDENTIFIER ::= "[a-zA-Z]+".r Когда я запускаю их на входе "leto" , они производят [LET_KEYWORD,IDENTIFIER(o)]...

У меня определена следующая грамматика: S -> A|B, A -> aAb | ab, B -> aBb | epsilon; Поработав некоторое время, я так и не смог найти строку для построения характерного дерева синтаксического анализа, чтобы показать, что эта...