Разработка компилятора.АТ грамматика.

[savva]

Здравствуйте товарищи, я учусь на 1 курсе магистратуры и разрабатываю компилятор.
Лексический анализ и Синтаксический анализ я сделал (LL(1) грамматика). Теперь подступил, точнее уже 2 недели не могу разобраться, с тем как мою LL(1) грамматику превратить с атрибутную грамматику. Проблема заключается в том, что я не понимаю как мне присобачить семантические правила, и распознать их в правило не терминала(моя сущность Rule). То бишь будет строчка A=+BC { семантическое правило }. Как разобрать что значит это семантическое правило и как его формализовать я не понимаю. Никакими yacc lex пользоваться нельзя, поэтому для лексического анализатора и синтаксического анализатора написаны свои парсеры( в случае синтаксического анализатора написан парсер правил грамматики). Ещё я не понимаю как сделать LL(1) грамматику в атрибутную по той причине, что атрибутная грамматика д/б приведённой - что значит быть без эпсилон правил. Если я сделаю её приведенной (напишу алгоритм для преобразования грамматики LL(1) в приведённую LL(1)) то она станет громоздкой и совершенно не поддерживаемой человеком(правил наплодится куча) и как прописывать потом семантические правила к этой горе "мусора" я не представляю.
Если кто занимался написания компилятора, подскажите пожалуйста.

Возможно я не всё написал, это лишь поток мысли, если будут вопросы поконкретнее я отвечу, заранее благодарствую.
P.S. разрабатываю на java. Компилятор - подмножество языка pascal.

[skyblade]

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

[Человек_Борща]

это лишь поток мысли

превратившийся в поток непонятно чего.
Ваш вопрос такой же понятный как и сон верблюда в полярную ночь.

[Stilet]

Сколько много новых академических терминов...
Я когда свой компиль делал как-то не задумывался о... короче тех словах что в топе. Неужели обязательно все это знать чтоб сделать хорошее ПО?

[savva]

Сообщение от Stilet

Сколько много новых академических терминов...
Я когда свой компиль делал как-то не задумывался о... короче тех словах что в топе. Неужели обязательно все это знать чтоб сделать хорошее ПО?

А что мог делать твой компиль? И как ты его делал?)

[Stilet]

Что мог? Компилировать )

как ты его делал?)

Нишутясебе:
http://www.programmersclub.ru/%D0%9A...D%D0%B8%D1%8F/

Вот пара исходников оставшихся на память:

(main
 (:= pi 3.1415)
 (:= e
   (* (+ 2 2)
    (/ 18
      (+ 32 (sin (/ pi 3.4)))
    )
   )
 )
)

(func foo
 (+= c 5)
)

(main
 (:= a (array 7 8 9 10))
 (foreach m a (:= m 100) )

 (/call foo)
 (/-= c 1)
 (/write '%d' c)
 (/readkey)
)

Жаль что проект прервать пришлось.
Зато сейчас это вылилось в интерпретатор, который кое-что вращает на работе (хотелось всего и сразу и кроссплатформенно). Так что с компилятором покончил.

[savva]

Уууу ну до генерации кода мне ещё далеко, а сдавать уже через неделю.

Дай бог аннотированное дерево разбора успею сделать, чтобы заполнить все нужные таблицы и проверить чтобы типы совпадали и scope не пересекались.
А по ссылке, фигня какая-то, там парень просто вручную забил код программы на asm и залил в файл и скомпилил потом программой fasm. А мне нужно автоматически считать программу, проверить подходит ли она по языку написания, потом проверить семантику языка(типы, области видимости и прочее) потом сформировать код в промежуточный язык и в уже в конце по сформированному файлу с промежуточным языком(триады) перенести в asm код скомпилировать masmом и получить exe файл.

Сообщение от Человек_Борща

превратившийся в поток непонятно чего.
Ваш вопрос такой же понятный как и сон верблюда в полярную ночь.

Всё достаточно просто. Я получается, пишу свой мини yacc анализатор. И у меня были проблемы с пониманием реализации. Вроде понял, но пока не могу реализовать, думал мб кто делал тут подобное (свой компилятор от начала до конца) и может подсобить по сабжу. Естественно это учебная разработка, поэтому всякие оптимизации мне нужно. Нужно считать программу, проанализировать на правильность и собрать exe файл который делает, то что описано в программе.

[Stilet]

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

Это только первая статья )
Их всего 5 или 6. Ленишься прочитать - твое дело. Я не навязываю.

и скомпилил потом программой fasm.

Сразу видно - статью не читал.

Кстати:

Нужно считать программу, проанализировать на правильность и собрать exe файл который делает, то что описано в программе.

и

до генерации кода мне ещё далеко, а сдавать уже через неделю.

Попадос я смотрю. Может купить преподавателя?