Сгенерировать все списки размера n, так что каждый элемент находится между 0 и m (включительно)

Есть два простых способа записать общий случай. Один из них описан в существующем ответе @didierc. Альтернатива - рекурсия.

Например, подумайте о методе, который принимает строку в качестве аргумента:

if(input string is long enough)
  print or store it
else
  iterate over digit range
    recursive call with the digit appended to the string

Это похоже на перечисление всех чисел по основанию (m+1) из n цифр.

start with a list of n zeros
do the following loop
    yeld the list as a new answer
    increment the first element, counting in base (m+1), and propagate the carry recursively on its next element
    if there is a carry left, exit the loop

Обновление: просто для удовольствия, какое будет решение, если мы добавим ограничение, согласно которому все цифры должны оставаться разными (например, номер лотереи, как было указано изначально - и, конечно, мы предполагаем, что m >= n)?

Мы продолжаем перечислять все числа с указанным выше ограничением, а также с тем, что любой элемент должен быть больше, чем его преемник в списке (т.е. цифра ранга k < n больше, чем цифра ранга k+1). Это реализуется простой проверкой при вычислении переноса, что текущая цифра не станет равной предшествующей, и, если это так, распространения переноса дальше.

Затем для каждого списка, полученного в результате перечисления, вычислить все возможные перестановки. Существуют известные алгоритмы для выполнения таких вычислений, см., например, Алгоритм Джонсона-Троттера, но можно построить более простой рекурсивный алгоритм:

 function select l r:
   if the list r is empty, yeld l
   else
     for each element x of the list r
        let l' be the list of x and l
        and r' the remaining elements of r
        call select l' r'