1) Для каждой последовательности необходимо указать начальное состояние
2) Что такое т+1 во второй последовательности?

извините, не правильно написала
Б) (а^n)×b^(m+1)
В) a (bab)^n

И что такое m?
Вопрос про начальные состояния Вы проигнорировали?

какие условия мне были даны, то я и нпписала

Скорее всего начинается с Q1/

[code lang=pascal h=200]var
a:integer;
b:string;
function c(d,e:integer):integer;
begin
case b[1] of
'a':c:=d;
'b':c:=e;
end;
delete(b,1,1);
end;
begin
write('enter state:');
readln(b);
a:=1;
while length(b)>0do
begin
case a of
1:a:=c(2,1);
2:a:=c(3,4);
3:a:=c(4,1);
4:a:=c(4,3);
end;
write(a);
end;
end.[/code]
решатель задания