Главная /
Введение в схемы, автоматы и алгоритмы /
Пусть структурированная программа P: x:= y+1; v:= u+1; y := z+1; пока x < v делай если x < y то x := y+1 иначе y := x +1 конец все начинает работу в состоянии σ : σ(x) =0, σ(y) =2, σ(z) =2, σ(u) = 5, σ(v) =0В каком из следующих состояний σ1 она заве
Пусть структурированная программа
P:
x:= y+1; v:= u+1; y := z+1;
пока x < v делай
если x < y то
x := y+1
иначе y := x +1
конец
все
начинает работу в состоянии σ : σ(x) =0, σ(y) =2, σ(z) =2, σ(u) = 5, σ(v) =0
В каком из следующих состояний σ1
она завершит свою работу?
вопрос
Правильный ответ:
σ1(x) = 8, σ1(y) = 7, σ1(z) = 2, σ(u) = 5, σ(v) =6
σ1(x) = 6, σ1(y) = 7, σ1(z) = 2, σ(u) = 5, σ(v) =6
σ1(x) = 7, σ1(y) = 6, σ1(z) = 2, σ(u) = 5, σ(v) =6
σ1(x) = 6, σ1(y) = 5, σ1(z) = 2, σ(u) = 5, σ(v) =7
ни в одном из вышеуказанных
Сложность вопроса
60
Сложность курса: Введение в схемы, автоматы и алгоритмы
92
Оценить вопрос
Комментарии:
Аноним
Зачёт защитил. Иду выпивать отмечать отлично в зачётке по интуит
27 окт 2018
Аноним
Спасибо за сайт
12 авг 2018
Аноним
Экзамен прошёл и ладушки. Спасибо за ответы
21 июл 2018
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какими из следующих свойств обладает отношение алгоритмической сводимости A ≤m B ? (a) является отношением эквивалентности,(b) рефлексивно и транзитивно,(c) сохраняет свойство разрешимости: если A ≤ m B и B - разрешимо, то и A разрешимо.
- # Пусть множество A = { (x2, y2) | x ∈ N , y ∈ N }, B = { n3 | n ∈ N }. Какие из следующих функций осуществляют сведение A ≤m B ? (В выражениях ниже sqr(x) обозначает целую часть квадратного корня из x, sg(0) =0 и sg(n) = 1 при n > 0).
- # Пусть задан недетерминированный конечный автомат M = < {a, b}, {0, 1, 2, 3, 4 ,5}, 0, F={4, 5}, Φ> с программой Φ: 0 b → 1, 0 → 2, 1 a → 2, 1 b → 4, 2 → 3, 2 → 5, 3 a → 4, 3 b → 2, 4 → 5 Какой из следующих НКА получится из M после применения процедуры устранения пустых переходов?
- # Какое из следующих выражений задает примитивно рекурсивное описание функции f(x) = (x+1)2 ?
- # В конструкции для параллельной композиции машин Тьюринга на этапах 3 и 5 участвует служебная машина, назовем ее CHANGE, меняющая местами аргументы, точнее переводящая любую конфигурацию вида x * q y (x и y – слова в алфавите Σ, не содержащем символов ∧, * и # , q – начальное состояние) в конфигурацию y* q’ x (q' – заключительное состояние). Пусть Q={ q, s, p, r, q'}∪ {pa | a ∈ Σ} – множество состояний CHANGE. Какие из следующих программ выполняют требуемую работу, т.е. могут быть использованы в качестве программы для CHANGE ? (В текстах программ a – это произвольный символ из Σ, а b - это произвольный символ из Σ ∪ {*, #} ). P1: q b → q b П , q ∧ → s # Л, s b → s b Л, s ∧ → p ∧ П, p a → pa ∧П, p * → r ∧П, pa b → pa b П, pa ∧ → s a Л, r a → r a П , r # → q’ * П. P2: q a → q a П , q ∧ → s * Л, s b → s b Л, s ∧ → p ∧ П, p a → pa ∧П, p * → r ∧П, pa b → pa b П, pa ∧ → s a Л, r a → r a П , r*→ q’ * П. P3: q a → q a П , q ∧ → s * Л, s b → s b Л, s ∧ → p ∧ П, p a → pa ∧П, p * → q’ * П, pa b → pa b П, pa ∧ → s a Л.