Математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно, носит название
Количество связываемых объектов в отношении носит название
Структура данных, состоящая из узлов, каждый из которых содержит как собственные данные, так и одну или две ссылки на следующее и/или предыдущее поле, носит название
Сортировка, которая не меняет взаимного расположения равных элементов, носит название
Машина, которая в качестве кода читает свой собственный код, носит название
Структура данных с дисциплиной доступа к элементам "первый пришёл - первый вышел" носит название
Процедура, которая ссылается на свободные переменные в своём лексическом контексте, носит название
Машина Тьюринга, которая может заменить собой любую машину Тьюринга, носит название
Операция, которая в случае разницы высот левого и правого поддеревьев АВЛ-дерева равной 2, изменяет связи предок-потомок в поддереве данной вершины так, что разница становится не больше 1, носит название
Построчная компиляция носит название