Запитання з тегом «formal-grammars»

Люди часто кажуть, що LR (k) парсери є більш потужними, ніж LL (k) парсери. Ці твердження більшу частину часу є невиразними; зокрема, чи слід порівнювати класи для фіксованого або об'єднання по всіх ? То як справді ситуація? Зокрема, мене цікавить, як LL (*) вписується.kkkkkk Наскільки я знаю, відповідні набори граматики …

67 formal-languages  formal-grammars  parsers  reference-question 

Назвемо контекстну мову детермінованою тоді і лише тоді, коли вона може бути прийнята детермінованим автоматичним натисканням, а недетермінованою в іншому випадку. Назвемо безконтекстну мову за своєю суттю неоднозначною тоді і лише тоді, коли всі безконтекстні граматики, що породжують мову, неоднозначні, а однозначно - інакше. Прикладом детермінованої однозначної мови є мова: …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

В Інтернеті є багато визначень щодо того, що таке граматика без контексту, але нічого, що я знаходжу, не задовольняє мою основну проблему: Який контекст це вільний? Щоб досліджувати, я гугла "граматику, залежну від контексту", але все ще не змогла знайти, що таке "контекст". Може хтось, будь ласка, пояснить, на що …

30 terminology  context-free  formal-grammars 

Я вивчав компілятори деякий час, і шукав, що означає «контекст» у граматиці і що означає для граматики бути «без контексту», але безрезультатно. То чи може хтось у цьому допомогти?

29 terminology  context-free  formal-grammars 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Існує багато методик довести, що мова не є контекстною, але як я можу довести, що мова є безконтекстною? Які методи є для того, щоб довести це? Очевидно, один із способів - виявити без контексту граматику для мови. Чи існують якісь систематичні прийоми для пошуку безтекстової граматики для даної мови? Для …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Моя проблема полягає в тому, як я можу довести, що граматика однозначна? У мене є така граматика: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then …

25 context-free  formal-grammars  proof-techniques  ambiguity 

EPAL, мова навіть паліндром, визначається як мова, породжена наступною однозначною без контексту граматикою: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL - це «бана» багатьох алгоритмів розбору: мені ще не доводилося стикатися з будь-яким алгоритмом розбору однозначних CFG, який …

23 formal-languages  formal-grammars  parsers 

Вказання формальних мов, даючи формальні граматики, є частим завданням: нам потрібні граматики не лише для опису мов, а й для їх розбору, або навіть належної науки . У всіх випадках важливо, щоб граматика під рукою була правильною , тобто генерувала саме потрібні слова. Ми часто можемо сперечатися на високому рівні, …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Я шукаю математичні теорії, які стосуються опису формальних мов (набору рядків) загалом, а не лише граматичних ієрархій.

22 formal-languages  formal-grammars 

Чому під час проектування компілятора слід усунути ліву рекурсію у граматиках? Я читаю, що це тому, що це може спричинити нескінченну рекурсію, але чи не так це і для правильної рекурсивної граматики?

20 formal-grammars  compilers  left-recursion 

Розглянемо дві безконтекстні граматики і G 2 і задамо наступне запитання: чи L ( G 1 ) = L ( G 2 ) , тобто дві граматики еквівалентні?G1G1G_1G2G2G_2L(G1)=L(G2)L(G1)=L(G2)L(G_1) = L(G_2) Загалом ця проблема не вирішена. Однак якщо і і G 2 є ліволінійними (або праволінійними) граматиками, тоді проблема вирішується, оскільки …

19 formal-languages  context-free  formal-grammars 

Відповідно до цієї статті у Вікіпедії , необмежені граматики еквівалентні машинам Тьюрінга. У статті зазначається, що я можу перетворити будь-яку машину Тьюрінга в необмежену граматику, але вона лише показує, як перетворити граматику на машину Тьюрінга. Як мені це зробити і перетворити машину Тюрінга розпізнавану мову в необмежену граматику? Я спробував …

19 formal-grammars  turing-machines  simulation 

Чи може без контексту граматика включати "мертві стани" з автомата, такі як G = ( { a , b , c } , { A , B , C)} , { A → a B , B → b , B → C, С→ c С} , А )?Г=({а,б,c},{А,Б,С},{А→аБ,Б→б,Б→С,С→cС},А)?G = …

18 context-free  automata  formal-grammars