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

Запитання щодо алгоритмів, які вирішують, чи належить певний рядок до фіксованої формальної мови.

1
Чи може Ерлі Парсер перетворитись у нечіткий аналізатор, подібний до Algo Levenshtein Automata для DFA?
Існує спосіб виконати нечіткий синтаксичний аналіз (приймає рядки навіть з помилками помилок на певну відстань редагування), з DFA та автоматизованими автоматами Levenshtein, введеними під час введення слова. Чи можна зробити щось подібне з аналізатором Ерлі? Мені важко зрозуміти алгоритм, не кажучи вже про відповідь на це питання.

2
Наскільки більшим може бути LR (1) автомат для мови, ніж відповідний LR (0) автомат?
У аналізаторі LR (0) кожен стан складається з колекції елементів LR (0), які є виданнями, анотованими позицією. У аналізаторі LR (1) кожен стан складається з колекції предметів LR (1), що представляють собою постановки з анотацією позиції та символом пошуку. Відомо, що з урахуванням стану в автоматі LR (1) конфігуруючий набір, …

3
Рекурсивний синтаксичний аналізатор з відстеженням граматики
Чи може хтось просвітити мене, чому рекурсивний аналізатор спуску з відстеженням, який намагається виробляти та (у тому порядку), не розпізнає мову, сформовану граматикою .S→ a SаS→аSаS \rightarrow aSaS→S→ааS \rightarrow aaS→ a Sа | a a S→аSа | ааS \rightarrow aSa\ |\ aa Здається, лише розбирають слова з мови .{ a2н …

2
Чи існує інше вирішення проблеми "звисання іншого", окрім "матчу найближчих"?
Наступні контекстно-вільної граматики являє «обірваних ще» тип неоднозначності (уявіть собі , що означає і означає і позначає який - то іншої команди або блоку): Наприклад, може бути проаналізований як або як (це найпростіше / найкоротше неоднозначне слово для цієї граматики).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ …

1
Як реконструювати ліс синтаксичних дерев із вектора Ерлі?
Використання вектора Ерлі в якості розпізнавача є досить простим: коли досягне кінець рядка, потрібно просто перевірити, чи завершено аксіоматичне виробництво, розпочате в положенні 0. Якщо у вас є принаймні один, то рядок приймається. Використання вектора Ерлі для реконструкції дерева (ив) розбору менш очевидно. Насправді я не можу зрозуміти, як працює …

2
Дводержавна машина Тьюрінга для відповідності парентезу
У коледжі ми вивчали теорію обчислення взагалі та машини Тьюрінга. Один з чудових теоретичних результатів полягає в тому, що ціною потенційно великого алфавіту (символів) можна зменшити кількість станів до лише 2. Я шукав приклади різних машин Тюрінга, і загальним прикладом є матч / шашка "Парентез". По суті, він перевіряє, чи …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.