Professional Documents
Culture Documents
T09 Turing CMP
T09 Turing CMP
1. Побудувати машину Тюрінга clear2, яка стирає перший і останній символи слова в
алфавіті T = {a, b}.
o Початкове слово довільне.
o Якщо довжина початкового слова менше 3, то результуюче слово – порожнє.
2. Побудувати машину Тюрінга copyWord, яка кожне слово x в алфавіті T = {a, b}
переводить в слово xx.
3. Побудувати машину Тюрінга, яка обчислює функцію
expr4(x,y) = y ≥ 3
o expr4(x,y) приймає значення 1 при y≥ 3 та 0 при y<3
4. Побудувати машину Тюрінга, яка обчислює функцію
expr5(x) = 2x+3
5. Побудувати машину Тюрінга, яка обчислює функцію
expr6(x) = (x+2) mod 3
o y mod 3– натуральне число – остача від ділення y на 3
6. Побудувати машину Тюрінга, яка обчислює функцію
divide(x,y) = x div y
o x div y – натуральне число – частка від ділення x на y
o y>0
Зауваження:
Максимум 7б