OberonCore

Кто-нить занимался данным вопросом?
Ссылок - море. Кто-нибудь! Дайте удобоваримую ссылку на теоретические работы по преобразованию грамматик с целью выведения из определения языка зацикленных определений... Пусть и с геометрическим ростом количества правил! Мне теорию понять железно надо. Принцип. И иллюстрацию какую простейшую...

ЗЫ ФЯ не предлагать! Я б и сам рад, но строгое ограничение заказчика на использование только Си а асма...

Такое ощущение, что в названии темы сокращению подверглось самое ключевое слово.

Вы правы, дорогой товарищ! Это - фильтр. Кто понимает - поймёт и, при желании, отзовётся. Остальные - ходят мимо...

В Dragon Book Ахо-Ульмана смотрели?

Из более теоретических работ можно посмотреть Хопкрофт, Мотвани, Ульман "Введение в теорию автоматов, языков и вычислений". (http://natahaus.ifolder.ru/354087) Вот эта ещё книжка есть - Рейуорд, Смит "Теория формальных языков": http://natahaus.ifolder.ru/307174.

Посмотрел у себя несколько работ по теории языков - там вопрос преобразования грамматик обойдён стороной

Понятно. Тех, кто просто интересуется синтаксисом и терминологией, посылают... мимо. Как-то не очень вежливо для публичного пространства.

Теоретически, в общем случае, рекурсию перевести в нерекурсивный вид невозможно, так как это эквивалентно выполнению рекурсивной программы, которая может быть зацикленной и бесконечной...

Как-то читал книгу по построению компиляторов, и, как я понял, преобразование грамматик в общем случае опять же невозможно...

Вы бы описали подробнее, какую грамматику используете, что за язык (или семейство языков?)...
Левую рекурсию Вы, я так понял, уже свели к правой, теперь от правой осталось избавиться?

А в чём проблема? Прототип по-любому лучше на высокоуровневом языке делать, а если на рефал-0 потом перейдёте, то на си странслируете тулзой Ильи... Не всё ли равно, на чём будет модель, лишь бы заказчик получил удобоваримый сишный код...

Вообще, даже интересно стало: что за задача, и почему такое жёсткое ограничение -- Си+асм...

"Дураков работа любит - я без дела не останусь..." (с) Мой старшина
Да всё те же ограничения - ну люблю я встроенные (и автономныя) системы...
Но всё дело в том, что задания на систему могут отдаваться в виде скриптов. А скрипт-язык не готовый взяли с реализацией, а свой ваяли... Автор-реализатор в середине проекта ушёл, а мне тянуть... А там всё это вручную, "прямым анализом" строк "парсилось"...
Пока задания элементарные были - всё "сглатывалось", а теперь народ привык, понравилось и ужЕ пытается выражения по-сложнее строить... И... - всё, затыки-ссс... Фдрук оказалось, что там не просто сравнение подстрок с образцами нужно...

см.раздел Связь между диаграммами Вирта и праволинейными грамматиками. Преобразование правой рекурсии в итерацию.

Материал по ссылке интересный, но, если я верно понимаю, что нужно Владимиру, то не совсем то.
Там речь о устранении рекурсии из регулярного языка (того, который можно описать конечным автоматом).
Владимир же вроде интересуется безконтекстными грамматиками (уровень выше в иерархии Хомского).

Владимир, а и правда - посмотрите Рефал-0, может, подойдёт )
Концевая рекурсия у меня разворачивается в обычный цикл, динамической памяти не требуется - по-моему, самое то для микроконтроллеров.

Ага, там приведены примеры реализации для регулярных языков. Интересно, что в конце работы предложен механизм "динамически порождаемых конечных автоматов" - для преодоления семантического разрыва между формальной грамматикой и входным алфавитом автомата. Подход в некоторой степени перекликается с Вашим активным синтаксическим деревом, но безусловно проигрывает по проработанности и не имеет реализации.

Указанный цикл лекций удалось переформатировать в пдфник:

p.s. 0xFF: У того же автора нашлось описание ОО параллельного языка, датированное 1992 годом.. Ну очень "оберонисто"

Да, проф. Легалов (Красноярск) занимался Модулой и Оберонами, хотя и относится к ним в итоге весьма сдержанно, если не ошибаюсь. В параллельном программировании он имеет серьёзные наработки.

За форматированный вариант спасибо ) Материал интересный.

Рефал 0 классная штука, настоятельно рекомендую. Кстати Илья, СПАСИБО.

Спасибо!
Теперь ещё ссылочкой киньтесь для полной сатисфакции и будет всем нам щастя!

Axcel, рад слышать добрые отзывы

Владимир,
вот подсистема для ББ:
http://metasystems.ru/products.php?page=rocot
а вот консольный транслятор:
http://metasystems.ru/products.php?page=refal0

Начать в любом случае нужно с чтения PDF-документа - там вверху ссылка на обоих страницах.

Прикольное заявление автора на странице 61:

Как курьёз:
Программа проверки правописания бессильна, покольку не может поставить правильное ударение.