Привет форумчане!
У меня такой вопрос. Недавно узнал о том, что существуют такие вот формальные грамматики (LL1), прочитал в вики про них.
Знаю, что как-то используются при написании компиляторов и анализаторов. 
Примеры типа конверторов, но не понимаю, чем зачем ? 
не понимаю, как именно ? И зачем они нужны ? И где ещё их есть необходимость использовать ? 

Если можно с примерами и по-проще ... 

Спасибо!

Можно использовать при написании разного рода парсеров... Есть специальные утилиты (например yacc, bison, antlr), которые генерируют исходный код парсера по описанию грамматики => его не надо писать и отлаживать самому...

Скажите, можно ли написать парсер из делфи в Си++ используяю те программы, что вы назвали ? И Если да, то какую именно ? 
Спасибо!

Если бы было можно, такой конвертер кто-нибудь бы написал, и на данном форуме не появлялись бы вопросы "переведите с Delphi на C++"
Но перевод из подмножества Delphi в подмножество C++, исключая сложные конструкции, написать можно.

Я спрашиваю, точнее говоря, как облегчить себе учесть при написании подобных программ с использованием формальной грамматики и таких вот анализаторов грамматики ? 

использовать AST

Добавлено через 3 минуты и 28 секунд
хотя...если тебе нужен конвертер только паскаль->C++, то возможно AST не жизненно необходим.

Добавлено через 4 минуты и 23 секунды
это невероятно сложный труд, ибо Вам нужно в совершенстве знать оба ЯП.

Так ведь если есть программы, позволяющие создать свой лексический анализатор, то всё не так страшно )) ? 

Может кто-нибудь поведать, как конкретно применяются формальны грамматики ? Слышал, что в поисковых системах... типа гугла. 

лексику создаете Вы, а не программы.

Добавлено через 54 секунды

сферический лось в вакууме  

Считаю, что пока не вижу ответа на вопрос.
Вот в сети, что пишут http://ukman.narod.ru/algorithms.html
Но это всё теория. Где же её на практике применяют ? 

Если вопрос в том, где применяются грамматики, ответ: в компиляторах. Обычно не в таком явном виде как ФБН, но в голове держут именно наглядное описание.

При переводе с  Dephi на C++ легко заменить begin end на { }, = на ==, := на = т.д. Чуть посложнее развернуть with (нужно найти внутри with обращения к полям объекта with и добавить в код C++ указатель на объект - при обратном переводе этот with останется развёнутым.
Параметры в Паскале складывются в стек начиная с первого, в C++ начиная с последнего, иногда это важно и при переводе нужно до вызова функции вычислить значения параметров в локальные переменные, но не делать же это всегда.
Что делать с вложенными функциями? Аналога в C++ нет.
При обратном переводе - в Delphi нет множественного наследования.
При вызове из констрктора/деструктора виртуального метода Delphi и C++ работают по разному - тут даже возникают сложности даже не в переводе, а когда программист C++Builder пишет производный класс от класса, написанного на Delphi.

В доках в bison'у есть пример калькулятора, сделанного с применением bison'а. На нем написана грамматика выражения, а он соответственно генерит текст парсера на С

math64,  Спасибо за ответ! 


xvr,  обязательно посмотрю, спасибо! 

лямбда 

А вообще-то алгоритм перевода довольно простой:
1. Понять, что делает дельфийская программа
2. Найти в гугле её аналог на Си++
  

Когда переводишь вручную понять и найти чем заменить чаще всего просто, но речь идёт об автоматическом переводе. 

Автоматически перевести конечно можно, но при этом код C++ скорее всего будет малочеловекочитабелен... По сути это будет не полноценный перевод, который может сделать человек, а просто компиляция с С++ в качестве целевого языка вместо маш. кодов какой-либо платформы... Это примерно как в Google Web Toolkit где происходит компиляция из Java в JavaScript...