formal languages - State Change in a Turing Machine(Computer of Integer Function Машина тьюринга примеры задач