Доказать, что этот язык неразрешимый

Это следующий язык L неразрешимым?

L = { M | M является описанием машины Тьюринга, и существует вход x длины k , такой, что M останавливается не позднее, чем через k steps}

Думаю, да, но я не смог этого доказать. Я попытался решить проблему остановки.