Генератор LL(1) таблицы

Всего лишь мелкая проба пера)). Поэтому не ждите хорошего исполнения или подробного описания. Так что перейду сразу к делу :
  1. lex3.cpp сам генератор
  2. 3.lex грамматика генератора
  3. x.test тестовый файл генератора
  4. 1.pas исходный файл паскаля
  5. syn.cpp препроцессор, который строил тестовый файл

syn.cpp

написан несколько глуповато. Был выдран из какой-то моей программы и наспех переправлен под другие нужды.

x.text

приблизительно описывает язык паскаль. Во первых я вполне мог что-то упустить из виду. Во вторых функции типа length, close, delete в грамматике не нужны, их лучше определить отдельным списком. В третьих не удалось сделать такую важную вещь, как возврат значения функции с помощью <имя функции> := <value>. Вместо этого значение возвращается с помощью return (в стиле gnu pascal) , или с помощью зарезервированной переменной result:=<value> Причина кроется в конфликте двух конструкций 1) возврат значения FuncName:=value и 2) и вызове FuncName(1,2,3); Одновременно два этих понятия в класс LL(1) грамматик не вписываются.

Формат файла очень простой. Допустим в нас есть грамматика: 
A -> AB
A -> AC
B -> C



В файле она будет записана вот так:

A: A B | A C
B: C
.


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

Обозначения

    

  1. ID - имя переменной и т.п.

  2. STR - строка в кавычках

  3. NUM - целое число

  4. PID - имя функции



 Есть ещё одно но. Вместо простых типов переменных надо было внести только один тип var-type , а уже под само
это определение подогнать список типов. И всё ради того чтобы я мог задавать новые типы с помощью оператора type.
Но это у меня в данном примере не работает.



lex3.cpp

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

О файлах


    

  1. FILENAME_GR  (3.lex) - входная грамматика для теста

  2. FILENAME_TST (x.test) - входной файл для проверки парсера

  3. FILENAME_NEW (new_Gr.txt) - результат рабочего преобразования грамматики

  4. FILENAME_ERR (error.log) - лог ошибок (в него помойму ничего не заносится)

  5. FILENAME_TAB (table.txt) - сама сгенерированная таблица (можно загрузить в Excel)

  6. FILENAME_SET (set.txt) - найденые first, follow множества

  7. FILENAME_XML (dump.xml) - дерево в результате парсинга (бред бесполезный)

  8. FILENAME_LOG (log.txt) - токены которые прошли через парсер в процессе работы




 Немного о генерации множеств. В данном случае , для того чтобы избежать возможных сбоев или зацикливанний в программе
я пошёл простым путём. Вместо явного применения правил, программа просто линейно проходит по списку продукций
тихо применяя допустимые правила. Затем процесс повторяется снова, до тех пор пока во множествах не прекращаются
изменения. В данном примере на грамматику паскаля тратится около 6 проходов (время одного прохода фактически линейное).




Hosted by uCoz