Задачи проверки сводимости и построения статической формы единственного присваивания могут быть решены с помощью:
Процесс решения задачи анализа потоков данных может быть описан как:
Следующие шаги, необходимы для решения задачи анализа потока данных с помощью итеративного подхода:
YACC - это имя генератора в операционной системе UNIX, в остальных операционных системах программа называется:
Алгоритм построения управляющей таблицы автомата состоит из следующих шагов:
Для построения более сложных типов из примитивных обычно используются следующие конструкторы:
При LR(k)-анализе применяется метод:
Подход при котором применяется трансляция программы в ассемблер:
Процесс построения дерева разбора, начиная с листьев и двигаясь вверх к корню дерева разбора может быть представлен как:
Конструктор struct применяется к кортежу пар: