ТЕОРЕТИЧЕСКИЕ ВОПРОСЫ
1. Цикл графа, контур графа, гамильтонов цикл графа, клика графа, вершинное
покрытие графа, компонента связности графа, минимальное остовное дерево графа. 2. Одноленточная детерминированная машина Тьюринга.
3. Многоленточная детерминированная машина Тьюринга. 4. Недетерминированная машина Тьюринга.
5. Оракульная машина Тьюринга. 6. Равнодоступная адресная машина. 7. Нормальные алгорифмы Маркова.
ПРАКТИЧЕСКИЕ ВОПРОСЫ
1. Построить НАМ f(x)= 3.
2. Построить НАМ f(x,y)=x+|x-y|. 3. Построить НАМ f(x,y,z)=z+|x-y|.
4. Построить НАМ, преобразующую слово P в слово PP. 5. Построить МТ, вычисляющую функцию f(x,y,z)=z. 6. Построить МТ, вычисляющую функцию f(x)=x+1. 7. Построить МТ, вычисляющую функцию f(x,y)=x+y. 8. Построить МТ, вычисляющую функцию f(x,y,z)=z+|x-y|.
9. Построить МТ, записывающую буквы любого слова некоторого конечного алфавита в обратном порядке.
10. Построить МТ, преобразующую слово P в слово PP.
11. Для входного алфавита {b, c} построить МТ, "различающую" слова, содержащие b от остальных.
12. Определена машина Тьюринга (см. лекции) T = {S, A, F, q0, δ}, δ - упорядоченная последовательность команд. Доказать, что определение МТ эквивалентно
