Я думаю, Тьюринг был скорее логическим сыщиком, чем волшебником. Он писал код от руки, на бумаге или на доске, запускал машины, вводя данные вручную, а потом сверял вывод построчно. Он записывал переходы состояний, сравнивал их с ожидаемыми результатами, и если что-то не сходилось, он перепроверял математику. Тогда не было отладочных точек и трассировок стека, поэтому отладка требовала много логических рассуждений "в уме" и аккуратной записи. Современные инструменты просто ускоряют этот процесс, но суть остаётся прежней – пошаговая проверка.