Лексический анализ. Нисходящий синтаксический разбор

Задание
Для указанного языка разработайте лексический анализатор, который позволяет поочередно извлекать лексемы из заданного потока ввода.
Для указанного языка разработайте синтаксический анализатор, который по последовательности лексем генерируемых лексическим анализатором строит соответствующее дерево разбора. (опишите используемую грамматику)
Создайте программу которая объединяет первые два пункта задания: отображает дерево разбора для введенного текста.
Описание языка
В языке имеются следующие типы лексем:

Идентификаторы представляют собой последовательность строчных и прописных букв латинского алфавита, цифр и знака подчеркивания, которая не начинается с цифры
Числа. Каждое число содержит мантиссу и может иметь порядок. Мантисса состоит из целой и дробной части (одна из частей может отсутствовать), разделенных точкой (если нет дробной части, то точка может отсутствовать). Порядок начинается с латинской буквы E (строчной или прописной), за которой может следовать знак порядка (+ или -). Затем идет непустая последовательность цифр – значение порядка. Примеры числе: 0, 1, 0.3, .3, 1E12, 1., 3.e-4, 3.3E+3.
Знаки операций: +, -, /, *, <, >, >=, <=, ==, /=, =, +=, -=, /=, *=, &&, ||.
Скобки (, ).
Знаки «,» и «;».
Комментарии заключаются между символами { и }. Вложенность комментариев не поддерживается, то есть если внутри комментария встретится символ {, то он не начинает новый вложенный комментарий, и, следовательно первый встреченный символ } зарывает комментарий.
Ключевые слова if, then, else, while, do, end, def, input, print.
Пробелы, знаки табуляции и переводы строки вне прочих лексем являются разделителями и самостоятельной лексемы не образуют.
Программа представляет собой последовательность операторов, каждый из которых заканчивается знаком «;»:

Оператор присваивания имеет вид: идентификатор = выражение;
Оператор ввода имеет вид: input идентификатор;
Оператор вывода имеет вид: print выражение;
Оператор ветвления имеет вид (любая из вложенных последовательностей операторов может быть пустой): if выражение then последовательность-операторов else последовательность-операторов end;
Оператор повторения имеет вид: while выражение do последовательность-операторов end;
Объявление переменных имеет вид: def идентификатор;
Выражение состоит из переменных, числовых констант объединенных знаками операций и скобками. Скобки служат для указания порядка выполнения операций. Все операции левоассоциативны (то есть операции с одинаковым приоритетом выполняются с лева на право). Приоритет операций от высшего к низшему (операции с наивысшим приоритетом при отсутствии скобок выполняются в первую очередь):

*, /
+, -
<, >, >=, <=, ==
&&
||

0