Итак, тут такая проблема, данное условие задачи, которая мне не очень понятна, может кто
знает лучше формулировку этой задачи или объяснит ее по более простому.
Условие:

type state = (a,b,c,d,e,g,h);
states = set of state;
routs = array [state] of states.

Описать процедуру motexist (r,n,k), которая по рейсам r (r[x] - множество городов в которые можно
за один рейс доехать автобусом из города x) определяет k - множество городов в которые можно
попасть автобусом (за один рейс или через другие города) из города n.

Помогите с началом програми,а то идей нету

Вот как-то так можно, наверное..

procedure motexist(var r: routs; n: state; var k: states);
var
  i: state;
begin
  k:=r[n];
  for j:=Low(state) to Pred(High(state)) do
    for i:=Low(state) to High(state) do
      if i in k then k:=k+r[i]
end;

Наверняка можно оптимизировать, но это уже не

Пасиб,будем оптимизировать

Ты компилятор сначала поменяй, оптимизатор... В PascalABC твоем любимом это работать не будет... Там, в принципе, НИЧЕГО работать со множествами (равно как и с перечислимыми типами) не будет. Ты уже в этом убедился, кажется?

Да