Лабораторно-практическая работа № 1
Формы, свойства и виды стандартных схем программ
Цель работы: Научиться составлять и исследовать схему программы
Задания
1. Найдите аналитический вид функции, кодирующей слова в алфавите V = {а, Ь, c} числами, если функция упорядочения К:
V-> {1, 2, 3} такова, что К(а) = 1, К(Ь) = 2, К(с) = 3.
2. Постройте машину Тьюринга, которая стирает с ленты любое начальное слово и записывает вместо него слово aabba в алфавите {а, b}.
3.На рис. 1.4. (лекции 2) даны примеры стандартных схем. Установить, какие из них тотальны, какие пусты, какие пары схем функционально эквивалентны. Укажите свободные схемы.
6. Покажите, что предикат (с тod n = 0), где n - некоторое число, а (с mod п) - остаток от деления счетчика на n, можно представить через три базовых оператора и один дополнительный счетчик.