Разработка компиляторов

Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

наименьшая неподвижная точка f может быть получена итерированием функции f начиная с наименьшего элемента L(Верный ответ)

функция f обладает хотя бы одной неподвижной точкой(Верный ответ)

функция f не обладает ни одной неподвижной точкой

множество всех неподвижных точек f является ограниченной полурешеткой конечной высоты(Верный ответ)

Похожие вопросы

Полурешетка конечной высоты L, представляет собой:

Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:

Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:

Разметку Us назовем неподвижной точкой отображения функции перехода F тогда и только тогда, когда:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:

Дерево t выводится в грамматике G=(A,N,S,R) тогда и только тогда, когда:

Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:

Пусть задана грамматика G=(A,N,S,R) и дерево t. Индукцией по числу шагов можно доказать, что приведенный алгоритм действительно:

Команды stloc, stfld, stsfld эквивалентны следующим парам команд:

Если преобразование T1 открывает дополнительные возможности для проведения преобразования T2, то - это: