Материалы для самостоятельной работы по дисциплине математическая логика и теория алгоритмов

• Название: Материалы для самостоятельной работы по дисциплине математическая логика и теория алгоритмов
• Дата: 18.10.2021
• Размер: 171.43 Kb.
• Имя файла: ml_ind.docx
• Тип: Документы; #249848
• страница: 5 из 6

Задание 5. Теория алгоритмов

Задача 1.

Согласно варианту (см. табл. 7):

• 
  выделить элементарные машины Тьюринга, реализующие служебные и примитивно рекурсивные функции,
  
• 
  составить протокол, таблицу поведения и граф для каждой машины Тьюринга,
  
• 
  выполнить композицию машин Тьюринга, написать обобщенную таблицу поведения и начертить схему соединения.
  

Таблица 7

Вариант	Задание		Вариант	Задание		Вариант	Задание		Вариант	Задание
	qo|x #| y#|z#|s#|t# 			qo|x#|y#|z#|s#|t# 			qo|x#|y#|z#|s#|t# 			qo|x#|y#|z#|s#|t# 
1			16			31			46
2			17			32			47
3			18			33			48
4			19			34			49
5			20			35			50
6			21			36			51
7			22			37			52
8			23			38			53
9			24			39			54
10			25			40			55
11			26			41			56
12			27			42			57
13			28			43			58
14			29			44			59
15			30			45			60