Вариант № 3
1.
2
.
3.
([5],
c.171).
Вариант № 4
1.
2
.
3.
([5],
c.174-175).
Вариант 5
1.
2.
3.
([5],
c.175).
Типовой расчет Вариант № 1
Равносильными преобразованиями привести следующую формулу алгебры предикатов к предваренной нормальной форме ([4],c. 142).
Машина Тьюринга с внешним алфавитом
определяется следующей программой
([4],c.
125).
Остановится ли
когда-нибудь эта машина, если она начнет
перерабатывать данное слово
(в начальный момент в состоянии
машина «обозревает» ячейку, в которой
записана самая левая буква данного
слова).
Ответ: Машина остановится; в результате получится исходное слово.
Построив таблицы значений, выяснить, равны ли следующие булевы функции:
([4],
c.
67).
Ответ: не равны.
Вариант № 2
(Формулировка заданий в этом и последующих вариантах
аналогична таковой в варианте № 1)
1.
2. Данное слов
.
Ответ: Машина остановится; получится исходное слово.
3.
Ответ: равны.
Вариант № 3
1.
2. Данное слово
Ответ: Машина неограниченно движется вправо.
3.
Ответ: не равны.
Вариант № 4
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 5
1.
2. Данное слово
3.
Ответ: равны.
Вариант 6
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 7
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 8
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 9
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 10
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 11
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 12
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 13
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 14
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 15
1.
2. Данное слово
3.
Ответ: равны.
Вариант № 16
1.
2.
Данное слово
3.
Ответ: равны.
Вариант № 17
1.
2.
Данное слово
3.
Ответ: равны.
Вариант № 18
1.
2.
Данное слово
3.
Ответ: равны.
Вариант № 19
1.
2.
Данное слово
3.
Ответ: равны.
Вариант № 20
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Вариант № 21
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Вариант № 22
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Вариант № 23
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Вариант № 24
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Вариант № 25
1.
2. Данное слово
3. Решить булево
уравнение:
Ответ:
Лабораторная работа
Разработка алгоритмов с ветвлениями и циклами
для обработки числовых и литерных величин
Типы заданий ([10],c. 32-41):
алгоритм с ветвлениями для обработки числовых величин;
алгоритм с ветвлениями для обработки литерных величин;
алгоритмы с циклами для обработки числовых величин;
алгоритмы с циклами для обработки литерных величин.
Выполнение лабораторной работы сопровождается устным и письменным отчетом.
Варианты заданий типа 1-4 см. в [10], но в работе [10] имеются также задания по разработке алгоритмов обработки графической информации, прямоугольных таблиц (матриц, массивов) и алгоритмов, включающих обращение к вспомогательным алгоритмам, что может быть использовано в самостоятельной внеаудиторной работе студентов.