База ответов ИНТУИТ

Структуры данных и модели вычислений

<<- Назад к вопросам

Какие из следующих утверждений истинны?

(Отметьте один правильный вариант ответа.)

Варианты ответа
если программа при всех входах из области определения останавливается через конечное число шагов, то она частично корректна
если программа при всех входах из области определения вычисляемой функции, при которых она останавливается через конечное число шагов, дает правильный ответ, то она корректна
если программа при некоторых входах из области определения вычисляемой функции останавливается через конечное число шагов и дает правильный ответ, то она частично корректна
если программа при всех входах из области определения вычисляемой функции, при которых она останавливается через конечное число шагов, дает правильный ответ, то она частично корректна
если программа при всех входах из области определения вычисляемой функции останавливается через конечное число шагов и дает правильный ответ, то она корректна. (Верный ответ)
Похожие вопросы
Какие из следующих утверждений истинны?
Какие из утверждений истинны?
Какие из следующих соотношений истинны для регулярных выражений в алфавите {a, b, c}?
Пусть n[x] - количество узлов в поддереве с корнем х, а h[x] - высота узла х. Какие из перечисленных ниже утверждений истинны после выполнения любой последовательности операций типа СОЗДАТЬ, ОБЪЕДИНИТЬ, НАЙТИ для любого узла x?
Какие соотношения истинны для любых регулярных выражений α, β, γ?
Пусть p(n) - максимальная продуктивность Абак-программы, состоящей из n команд. Какие соотношения для функции p(n) истинны?
Какие из следующих операций выполняются за время Ο(1) при представлении списка массивом?
Какие из следующих операций выполняются за время Ο(1) при динамическом представлении списка с односторонними связями?
Какие из следующих операций выполняются за время Ο(1) при динамическом представлении списка с двухсторонними связями?
Какие из следующих регулярных выражений в алфавите {a, b, c} являются решениями уравнения X = Xα + β, где α = b+с, β = ab*?