Исполнитель РазДваТри преобразует число на экране.
У исполнителя есть три команды, которым присвоены номера:
Прибавить 1
Умножить на 2
Прибавить 3
Первая команда увеличивает число на экране на , вторая умножает его на , третья увеличивает на .
Программа для исполнителя РазДваТри – это последовательность команд.
Сколько существует программ, которые преобразуют исходное число в число , и при этом траектория вычислений содержит число и не содержит чисел и ?
Траектория вычислений – это последовательность результатов выполнения всех команд программы. Например, для программы при исходном числе траектория будет состоять из чисел , , .