Перебрать все числа с цифрами 1 и 2 до n-ного количества цифр.

program q183776223;
function Convert(n: Integer): Integer;
var
i: Integer;
begin
Result := 0;
i := 0;
repeat
Result := Result + Succ(n mod 2) * Trunc(Exp(Ln(10) * i));
Inc(i);
n := n div 2;
until n = 0;
end;
var
i, n: Integer;
begin
Write('N = ');
ReadLn(n);
i := 0;
while Trunc(Ln(Convert(i)) / Ln(10)) < n do
begin
Write(Convert(i):Succ(n));
Inc(i);
end;
ReadLn;
end.

Берешь и гонишь некое число от 0 до 2^n.
Его двоичное представление модифицируешь по правилу 0->1 1->2
Собссно все.

2 нормальных варианта. Первый, в лоб: придумываем некий порядок и операцию перехода от i-го числа к i+1-му. Тут все просто: порядок - по возрастанию, правило перехода - берем самую правую цифру, если 1 - меняем на 2, если 2 - меняем на 1 и смотрим следующую цифру и т. д.. А теперь просто цикл, пока не получим 22...22.
Второй, с небольшой фантазией: замечаем, что между такими n-значными числами и 2-ичными до 2^(n+1) можно установчить взаимно однозначное соответствие, заменив в 2-ичных 0 на 2 (или 0 на 1, а 1 на 2). Надо только написать процедуру перевода - и перебираем 2-ичные в цикле.

Перебирать все числа и выбрасывать неподходящие - очень дорого.

Переводите каждое число в текстовый формат и проверяйте на наличие символов, неравных 1 или 2. И при наличие отрицательного ответа выводить.

стоп стоп стоп. тоесть если н малое то можно было бы сделать несколько вложенных циклов? это еще зачем? если решать задачу совсем в лоб, не думая, то можно обойтись только одним циклом, который будет перебирать вообще все числа, а в теле цикла сделать проверочку, есть ли в этом числе что либо кроме 1 или 2. если нету - число в копилку. конечно работать это будет супердолго. можно элегантнее. например в диапозоне до 100 можно смело взять числа 001, 002,011,012.. и так далее. при этом над будет придумать правило этих подстановок + как то определять самое большое число до этого произвольного n. но формально и в лоб можно решить, чтобы отвязались.