Теория алгоритмов

Построить машину Тьюринга с внешним алфавитом A, которая выполняет заданные действия.

В начальный момент на ленте записано слово P (конечная последовательность символов внешнего алфавита А, слово P может быть пустым), указатель указывает на крайний левый непустой символ слова P или на пустую ячейку, если P – пустое слово.

В заключительной конфигурации указатель должен указывать на крайний левый непустой символ результата. Если результатом окажется пустое слово, указатель указывает на пустую ячейку.

Пояснения по построению программы для МТ обязательны.

Проверить работу машины Тьюринга для двух конкретных начальных конфигураций.

Нарисовать граф для построенной МТ.