Узагальнення методу Бржозовського щодо похідних регулярних виразів до граматик?

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

В Total комбінатори синтаксичного аналізу (МКВП 2010) Я використовую похідні Brzozowski встановити , що членство мови можна вирішити для деякого класу потенційно нескінченних граматик.

Вас може зацікавити цей документ:

Якч мертвий Меттью Мойт та Девідом Дарайсом, 2010 рік

Ми представляємо два нових підходи до розбору мов, що не мають контексту. Перший підхід базується на розширенні похідної Бржозовського від регулярних виразів до безконтекстних граматик. Другий підхід заснований на узагальненні похідної до парсерних комбінаторів. Окупність цих методів - це невелика (менше 250 рядків коду), проста у застосуванні бібліотека розбору, здатна аналізувати довільні без контексту граматики в ліниві ліси розбору. Реалізовані як для Scala, так і для Haskell. Попередні експерименти з S-Expressions розібрали мільйони лексем в секунду, що говорить про те, що ця методика є достатньо ефективною для використання на практиці.

Також потенційний інтерес:

• Yacc не мертвий , огляд цього документу Руссом Коксом, що отримав славу.
• Yacc мертвий: оновлення , відповідь від Matt Might.
• Функціональна перлина: розбір з похідними від Меттью Магта, Девіда Дарайса та Даніеля Шпівака - оновленої версії документа "Yacc мертвий", представленого на ICFP 2011 у Токіо.

Ще в середині 80-х, коли я працював над рекурсивними аналізаторами сходження та розбиттям граматик, я почав з визначення часткових похідних граматик.

Там багато приємної теорії.

У вас є конкретні запитання?