Запитання з тегом «parsing»

Я нещодавно читав про парсер Earley і думаю, що це один з найелегантніших алгоритмів, які я бачив на сьогоднішній день. Однак алгоритм у його традиційному розумінні є розпізнавачем, а не парсером, це означає, що він може виявити, чи відповідає рядок відповідно до певного CFG, але не створити для нього розбір …

25 fl.formal-languages  parsing 

Під час майстерності з неканонічним синтаксичним розбором LR я придумав метод розбору (з нескінченними розмірами таблиць, що робить його дещо непрактичним ), здатний розбирати точно однозначні граматики за час , і мені було цікаво, чи можна це зробити краще:О ( н.)2)О(н2)O(n^2) Чи можна розбирати всі однозначні граматики за лінійним часом? …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Існує безліч алгоритмів, які можуть розібрати без контексту граматику за час . Використовуючи матричне множення, можна навіть пройти асимптотично швидше.О ( н.)3)О(н3)O(n^3) Однак усі алгоритми для розбору довільних CFG, які я знаю, мають найгірший простір у використанні простору (хоча, правда, я не маю поняття, що таке використання простору цього алгоритму …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Метод похідних Бржозовського є дуже гарною технікою побудови детермінованих автоматів з регулярних виразів на приємно алгебраїчний спосіб. Я розробив декілька симпатичних узагальнень цієї техніки для обробки деяких великих класів граматик, але алгоритми досить прості, що здається цілком можливим, що вони були виявлені раніше. Але посилання на Гуглінг нащадків цієї методики, …

18 reference-request  fl.formal-languages  parsing 

Перестановочна фраза - це розширення до стандартних граматичних визначень BNF-контексту: перестановочна фраза містить виробництв (або, що еквівалентно, нетерміналів) від до . На позиції фрази перестановки ми хотіли б побачити кожну з цих постановок рівно один раз, але нас не цікавить впорядкування цих нетерміналів.{A1, … ,An}{A1,…,Ан}\{ A_1, \dots, A_n \}ннnА1А1A_1АнАнA_n Наприклад: …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Скажімо, у мене є великий блок коду, який я вже вилучив і проаналізував. Припустимо, що змінюється лише один символ; Я хотів би оновити свій синтаксичний аналіз, але оскільки модифікація дуже мала в порівнянні з усією справою, я хотів би знати, чи можливо знову не проаналізувати всю цю справу, але якщо …

14 fl.formal-languages  parsing 

Оскільки мене цікавлять парсери (в основному граматики вираження парсера), мені цікаво, чи є якась робота, яка дає категоричне трактування розбору. Будь-яка посилання на застосування теорії категорій для розбору високо оцінена. Найкраще,

13 reference-request  functional-programming  ct.category-theory  parsing 

Хтось формалізував зв'язок між методами розбору скорочення зрушення та обмеженим продовженням? При побудові від низу до верху аналізатора (наприклад, LR парсери), ми візьмемо граматику , а потім представляють синтаксичнийаналіз стан як сукупності елементів : доповнене твір виду , де і є послідовності терміналів і нетерміналів. Маркер відображає, наскільки симулятор потрапив …

13 pl.programming-languages  parsing 

Коли я дивлюся на розбір Earley, він виглядає дуже елегантно, і мені цікаво, чому методи GLR стають популярними? Хтось знає, що було не так з розбором Ерлі, що Tomita створив GLR? Продуктивність? Будь-які публікації з цієї дискусії високо оцінені.

11 parsing 

Один з моїх проектів Java є відгалуженням пропареного , і в відміну від, скажімо, Antlr або JavaCC, парсери генеруються під час виконання. Граматики, що утворюються, - граматики виразного розбору, або PEG (я чую, що ще один термін для них - "packrat"). Хоча генерація виконання додає складності (включається генерація байт-кодів), ще …

9 research-practice  books  parsing 

Аналізатори діаграм можуть бути реалізовані на основі нормальної форми Хомського або безпосередньо на основі виробничих правил. На даний момент припустимо, що у нас є аналізатор діаграм CYK, який використовує нормальну форму Хомського. Бінаризація не визначена однозначно. Чи впливає це на ефективність розбору діаграм CYK Чи можна це використовувати для покращення …

9 fl.formal-languages  parsing