Помогите разобраться с рекурсивной процедурой

[LetsRock]

В общем, читаю книгу С.М. Окулова "Основы программирования", сейчас нахожусь в теме "Рекурсия".
Есть раздел экспериментальной работы, там такое условие задачки:
Даны натуральные числа n и k. Перечислить все последовательности длины n из чисел от 1 до k. Например, n=3, k=2. Количество последовательностей — k^n(8). То есть 111, 112, 121, 122, ..., 222.
И внизу дается ее решение, вот код:

Const 
n=3;
к=2 ;
Type MyArray=Array[1. .n] Of 0 . .к;
Var A:MyArray;

Procedure Print;
Var l: Integer;
Begin
  For l: =1 To n Do Write (A [i ] : 3) ;
  WriteLn ;
End;

Procedure Solve (t:Integer);
Var l: Integer;
Begin
  If t>n Then Print
    Else For i:=l To k Do 
      Begin
        A[t] :=i;
        Solve (t+1) ;
      End;
End;

Begin
FillCnar (A, SizeOf (A) ,0) ;
Solve (1) ;
End.

Для меня эта процедура как черный ящик. При пошаговой отладке все равно ничего не понятно. Я знаю, что там действует стек вызовов, но от этого легче не становится. Поэтому прошу тех, кому несложно, можете пошагово описать, что творится внутри этого когда? Весь мозг сломал себе уже.
P/S.Первые три шага понятны, а дальше уже...

[Stilet]

For i:=l To k Do

Не могу понять что это за цикл...

[evg_m]

перебор комбинаций на заданном и нижележащих уровнях.
если мы достигли конца (по глубине/длине) последовательности то вывести ее, иначе последовательно перебрать значения на заданном уровне и при каждом значении текущего уровня осуществить перебор следующего уровня по глубине/длине.

[Poma][a]

Сообщение от Stilet

Не могу понять что это за цикл...

Дык 1-ка.. Не?

[LetsRock]

Сообщение от evg_m

перебор комбинаций на заданном и нижележащих уровнях.
если мы достигли конца (по глубине/длине) последовательности то вывести ее, иначе последовательно перебрать значения на заданном уровне и при каждом значении текущего уровня осуществить перебор следующего уровня по глубине/длине.

а можно пошаговое объяснение? Я, кажется, первые две комбинации понимаю. Мне больше не понятно как потом на первой позиции двойка ставится. Буду благодарен

[evg_m]

а можно пошаговое объяснение?

берете мой текст и раскладываете его на строки кода.

Мне больше не понятно как потом на первой позиции двойка ставится.

    Else For i:=l To k Do 
      Begin
        A[t] :=i;

при t=1 и i=2

последовательно перебрать значения на заданном уровне

t-уровень i=значение

[Poma][a]

Ты говоришь, напишу-ка я некую процедуру P(k, n, s)
Где k - наибольшее значение одно элемента массива, который мы будем составлять
N - кол-во элементов, которые мы будем составлять
s - текущий индекс элемента (индекс элемента куда мы будем вставлять следующее число)

И тогда..
На s-тую позицию ты должон вставить все числа от 1 до k и вызвать туже самую процедурку.. отличаться вызов будет лишь на два символа..

for i := 1 to k do  begin
     a[s] := i;
     P(k, n, s+1)
end;

Теперь описываем дно рекурсии и радуемся..

[WhatO_o?!]

Оффтоп

Procedure Solve (t:Integer);
Var l: Integer;
Begin
If t>n Then Print
Else For i:=l To k Do
Begin
A[t] :=i;
Solve (t+1) ;
End;
End;

Я дико извиняюсь, но

Var l: Integer;
...
Else
For i:=l(L) To k Do

Как оно вообще может работать, если значение переменной будет равно чему угодно, ибо оно не присваивалось?

Я обратился к гуглу, он послал меня сюда , где написано

Если арифметической переменной не присвоить какое-либо значение, то по умолчанию она будет равна нулю.

Проэксперементировав у себя, я вообще получил значение "от балды" 4353100

[Stilet]

Если арифметической переменной не присвоить какое-либо значение, то по умолчанию она будет равна нулю.

Это только к глобальным переменным относится.
А я выше задавал этот вопрос автору. Может там всетки единица, как Рома говорит?