Как создаются трансляторы?

Question

[Андрей Пустовой]

Цель моей работы - создать экспертную систему. Грамматику экспертной системы я составил, теперь моя задача создать программу, которая будет переводить текст написанный по грамматике, в реальный код и сохранять необходимые данные в базу данных. Т.е. эксперт составил экспертную систему (написал ее код в файл), загрузил файл, а в ответ получил готовую экспертную систему, которую он может использовать. Так же он может из экспертной системы составить точно такой же код. То есть по сути реализация транслятора (или компилятора). Я в этом никогда не разбирался и хотел спросить, как это вообще делается? На каких языках пишется и какие технологии используются? Если можно, то подробнее опишите и направьте меня пожалуйста.

Answer 1

[arto]

Писать на любом языке, который Вы знаете.
Перед этим прочитать книгу "Компиляторы. Принципы, технологии, инструменты" Альфред В. Ахо, Рави Сети

Comments

[Андрей Пустовой]

Хорошо, спасибо. В целом это посильная задача для одного человека, с учетом того что уже составлена грамматика?

[arto]

Почему бы и нет. Всё зависит от человека.

[arto]

Можно посмотреть на Bison&Flex, Yacc&Lex

Answer 2

[alexalexes]

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

Answer 3

[mayton2019]

Такая грамматика уже создана. Называется язык Prolog.

Сразу скажу что сама затея создания словесных экспертных систем обречена на провал.
Растущая комбинаторная сложность и сложность задавания вопросов этой системе
свела на нет все усилия лет 30 назад.

Сегодня такие системы считаются legacy, и языковые модели-чаты их полностью заметили.
Потому что обучить модель легче чем человеку описать сет рулов. И еще все это потом протестировать.

Comments

[Андрей Пустовой]

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

[mayton2019]

Андрей Пустовой, покажи свою грамматику.

[Андрей Пустовой]

mayton2019, вот грамматика. Она конечно сыровата и составлена по указаниям моего научрука. https://pastebin.com/E5cipPZZ

[mayton2019]

Андрей Пустовой, ага. Форма Бекуса-Науэра.

Ну теперь надо искать генераторы парсеров которые умеют принимать на вход этого Бэкуса.

[Андрей Пустовой]

mayton2019, спасибо большое, я даже и не знал. Делал по примеру описания грамматики SQL. Нужно именно искать? Или можно написать самостоятельно? Просто я думал что я буду считывать все строки, и с помощью регулярок буду получать необходимые данные и буду заносить их в БД (думал будет легче). Примеры экспертных систем на данном языке у меня есть если что.

[mayton2019]

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

Из таких утилит я использовал https://www.antlr.org/ и то очень давно. И я даже не знаю
какая там грамматика. Просто какая-то...

[Андрей Пустовой]

mayton2019, понял, спасибо за ответы!

Answer 4

[Steel_Balls]

В Книге Дракона всё подробно написано

Answer 5

[Xiran]

Можно попробовать LLVM.
P. S. Сам с этим никогда не работал