Теория языков программирования

Задание №1.
Построить линейно-ограниченный автомат, допускающий множество:
{ 1n+10m1m+1 }, m3, A={0, 1, 2, #}
Задание №2.
Построить автомат c магазинной памятью, допускающий множество:
{01n+10100n1, n>3}
Задание №3
По заданному выражению построить дерево вывода, учитывая приоритет операций. Сгенерировать ассемблерный код и список триад для полученного дерева вывода по алгоритму генерации кода. Привести пошаговый вывод. Скобки использовать только для установления приоритетов.
Q:=((A*(B+C)/3)+1)-F+(-D*E)