Без применения регулярных выражений

var good, pattern: string; //good - строка с хорошими буквами, pattern - шаблон
    arr: array of string; //динамический массив строк
    n: integer;
 
begin
      readln(good); //вводим строку с хорошими буквами
      readln(pattern); //вводим шаблон
 
      pattern:=pattern.Replace('*', '[^'+good+']*'); //заменяем * на '[^хорошие буквы]*', 
                                                               //что означает символы не входящие в группу "хорошие буквы" могут повторяться 0 и более раз
      pattern:=pattern.Replace('?', '['+good+']{1}'); //заменяем ? на '[хорошие буквы]{1}', 
                                              //что означает символ входящий в группу "хорошие буквы" может повториться только 1 раз
      pattern:='^'+pattern+'$'; //добавляем обозначения начала и конца строки, 
                                          //это значит что полученный шаблон должен совпадать полностью от начала строки и до конца
                                         //writeln(reg);
 
      readln(n);             //вводим кол-во строк
      SetLength(arr, n); //задаем длину массива
 
for var i:=0 to n-1 do        //цикл от 0 (массив созданный через SetLength начинается с 0 и до n-1)
  readln(arr[i]);               //вводим строку
 
for var i:=0 to n-1 do            //цикл по массиву строк
  if Regex.IsMatch(arr[i], pattern) then        
    writeln('YES')         //выводим ДА
  else //иначе
    writeln('NO');        //выводим НЕТ
end.

var
  s: array of string; // строка
  st: string; // шаблон
  good: set of char = ['a'];
  i, it, n: integer;
 
begin
  readln(st); // хорошие буквы, заносим в множество good
  foreach var ch in st do Include(good, ch);
  
  readln(st); // шаблон
  readln(n); // количество строк для проверки
  SetLength(s, n);
  for var curr := 0 to n - 1 do readln(s[i]); // читаем строки
  
  for var curr := 0 to n - 1 do 
  begin
    i := 1;it := 1;
    while (i <= Length(s)) and (it <= Length(st)) do
    begin
      if st[it] = '?' then // следующая буква шаблона - "?", ей должна соответствовать одна из хороших букв в строке
      begin
        if s[curr][i] in good then // в строке - хорошая буква, все нормально
        begin
          inc(i);inc(it);
        end
        else i := length(s[curr]) + 2; // нет, буква в строке плохая, выходим из цикла
      end
      else if st[it] = '*' then // следующий символ шаблона - '*',ей может соответствовать 0 или больше плохих букв
      begin
        // так что пропускаем плохие буквы, пока не встретится хорошая, или пока не дойдем до конца строки
        while (i < Length(s[curr])) and (s[curr][i] in ['a'..'z'] - good) do inc(i);
        inc(it);
      end
      // просто буква - проверяем на равенство две буквы
      else 
      begin
        if s[curr][i] = st[it] then // буквы равны - все нормально
        begin
          inc(i);inc(it);
        end
        else i := length(s[curr]) + 2; // нет - выходим из цикла
      end;
    end;
    // совпадение строки и шаблона - только в том случае, если индекс очередного символа
    // и там и там на 1 больше длины соответствующей строки (то есть, мы только что
    // закончили обрабатывать как строку, так и шаблон)
    if (i = length(s[curr]) + 1) and (it = length(st) + 1) then writeln('YES')
    else writeln('NO');
  end;
end.

var
  s: array of string; // строка
  st: string; // шаблон
  good: set of char = ['a'];
  i, it, n: integer;
 
begin
  readln(st); // хорошие буквы, заносим в множество good
  foreach var ch in st do Include(good, ch);
  
  readln(st); // шаблон
  readln(n); // количество строк для проверки
  SetLength(s, n);
  for var curr := 0 to n - 1 do readln(s[curr]); // читаем строки
  
  for var curr := 0 to n - 1 do 
  begin
    i := 1; it := 1;
    while (i <= Length(s[curr])) and (it <= Length(st)) do
    begin
      if st[it] = '?' then // следующая буква шаблона - "?", ей должна соответствовать одна из хороших букв в строке
      begin
        if s[curr][i] in good then // в строке - хорошая буква, все нормально
        begin
          inc(i);inc(it);
        end
        else 
        begin
          i := length(s[curr]) + 2; // нет, буква в строке плохая, выходим из цикла
        end;
      end
      else if st[it] = '*' then // следующий символ шаблона - '*',ей может соответствовать 0 или больше плохих букв
      begin
        // так что пропускаем плохие буквы, пока не встретится хорошая, или пока не дойдем до конца строки
        while (i < Length(s[curr])) and (s[curr][i] in (['a'..'z'] - good)) do inc(i);
        inc(it);
      end
      // просто буква - проверяем на равенство две буквы
      else 
      begin
        if s[curr][i] = st[it] then // буквы равны - все нормально
        begin
          inc(i);inc(it);
        end
        else 
        begin
          i := length(s[curr]) + 2; // нет - выходим из цикла
        end;
      end;
    end;
    // совпадение строки и шаблона - только в том случае, если индекс очередного символа
    // и там и там на 1 больше длины соответствующей строки (то есть, мы только что
    // закончили обрабатывать как строку, так и шаблон)
    if (i = length(s[curr]) + 1) and (it = length(st) + 1) then writeln('YES')
    else writeln('NO');
  end;
end.