40. Унификация и наибольший общий унификатор – определения. Привести пример пары формул, требующих унификации, укажите их НОУ (не менее трех подстановок)

Пусть - множество литералов

​Подстановка называется унификатором для множества выражений тогда и только тогда, когда

​Множество называют унифицируемым, если существует унификатор этого множества.

​Унификатор множества литералов называют наиболее общим унификатором этого множества, если для любого унификатора того же множества существует подстановка , такая, что

​Пример:

​НОУ:

41.Машина Тьюринга – определение. Стандартная МТ. Опишите МТ, реализующую композицию двух МТ

Определение

Машина Тьюринга — абстрактная вычислительная машина, состоящая из ленты с ячейками, головки для чтения и записи, программы (управляющего устройства). Бывают стандартными,

недетерминированными, с несколькими лентами, с несколькими головками и тд.

Определение стандартной МТ

Стандартная МТ имеет одну бесконечную ленту, содержит символ пустоты, может перемещаться только на одну ячейку и является детерминированной (для каждого состояния и символа функция перехода строго определяет следующее действие)

Композиция МТ

Имеется функция и соответствующие им стандартные МТ . Задача реализовать МТ

следующего вида . Начальные и конечные состояние машин: . Результат вычисления будет следующим: . Изначально применяется первая функция, а затем к результату первой функции применяется вторая функция.