program ab_test;
{$I ab.inc}
  function GetTocken(var Cur: PAnsiChar): integer;
  var
    SS: PAnsiChar;
    tmpID: integer;
    S: integer;
    c: integer;
  begin
    SS := nil;
    // начальное состояние
    S := 0;
    repeat
      repeat
        // Класс символа
        c := LEX_CHAR_CLASSES[Cur^];
        Inc(Cur);
        // Новое состояние
        S := LEX_TABLE[S][c];
      until (S < 0);
      S := not S;
      tmpID := LEX_RESULT[S];
      if tmpID >= 0 then
      begin
        // запоминаем и идём на следующий цикл
        Result := tmpID;
        SS := Cur;
      end
      else
      begin
        // если не было полученных состояний выходим с ошибкой
        if SS = nil then
          Exit(tmpID);
        // возвращаем найденую лексему
        Cur := SS;
        Exit;
      end;
    until False;
  end;
var
  // текст для разбора
  Text: ansistring = 'aaaaababbbbbbaaabbbabbb';
  S, N: PAnsiChar;
  t: integer;
  tStr: string;
begin
  // цикл разбора
  S := PAnsiChar(Text);
  repeat
    N := S;
    t := GetTocken(N);
    case t of
      ID1: Write('ID1: ');
      ID2: Write('ID2: ');
      else
        Write('Unknown:');
    end;
    SetString(tStr, S, UIntPtr(N) - UIntPtr(S));
    Writeln(tStr);
    S := N;
  until (N^ = #0);
end.

ID1: aaaaab
ID2: abbbbbb
ID1: aaab
Unknown:b
Unknown:b
ID2: abbb

"Шаблоны в этом языке опредялютя регулярными выражениями, а компилятор LEX генерирует эффективный конечный автомат распознающий их"

  
     //Получение следущего состояния ДКА
      while ( (yy_current_state = yy_nxt[yy_current_state][yy_ec[(unsigned char)(*yy_cp)]]) > 0 )
       {
       //проверка результирующего состояния
       if ( yy_accept[yy_current_state] )
           {
           // запоминание последнего результирующего состояния
           yy_last_accepting_state = yy_current_state;
           // запоминание позиции
           yy_last_accepting_cpos = yy_cp;
           }
         // считывание следующего символа
         yy_cp;
       }

   yy_current_state = -yy_current_state;