Как превратить 0000 в 0001 и сохранить в текстовый файл, потом 0001 превратить 0002 и сохранить в текстовый файл, действие нужно повторять до тех пор, пока изначальное 0000 не превратиться в 9999?
Используйте конструкции join и with:
Документация и руководства:
В первой строке мы открываем файл для вывода с именем output_file.txt
Во второй пишем в него значения от 0000 до 9999 с разделителем переноса строки.
Обратите внимание на выражение ('0000'[:-len(str(x))]+str(x))
В нём мы просим взять строку '0000', отрезать от нее "хвост" длиной строки x (len(x)), и дополняем результат самой строкой.
Довольно не плохая статья на тему тут
Не является ответом на вопрос, так как не решает поставленной задачи.
Коллега, в вопросе просят записать в файл. И конечно, жаль, что Yandex.Q не поддерживает форматирования кода python...