анализатор

[Sparky]

Добрый вечер! Задали писать многопроходной транслятор. Я реализовала модуль ввода/выводы, обработку ошибки и сканнер(лексически анализатор).
В результате работа сканнера у меня создается 2 таблицы
1. таблица лексем программы

table_lex=^t_table_lex; //таблица лексем программы
  t_table_lex=record  //элемент таблицы лексем программы
    cod:integer;  //код
    lex:string; //лексема
    value_i:integer;  //значение целое
    value_s:string; //значение строковое
    line:integer; //строка
    next:table_lex; //ссылка на следующий элемент
  end;

2. таблица идентификаторов

table_ident=^t_table_ident; //таблица идентификаторов
  t_table_ident=record  //элемент таблицы идентификаторов
    name_ident:string[count_char_ident];  //имя
    type_ident:integer; //тип 0-целые 1-символный
    value_i:integer;  //значение целой
    value_s:string; //значение строковой
    next:table_ident; //ссылка на следующийэелемент
  end;

Вот после работы анализатора эти таблицы заполняются. Теперь нужно реализовать синтаксический анализатор использующий рекурсивный спуск. Пробовала несколько вариантов, начинаю реализовывать и сталкиваюсь с разными проблемами.
Не могли бы вы описать как же его реализовать?

[Sparky]

//==============================================================================
//    синтаксический анализатор
//==============================================================================
unit sintax_analizator;

interface
//==============================================================================
//  описание процедур доступных из этого модуля
//==============================================================================
  procedure sin_analiz();forward; //синтаксический анализатор

implementation
uses module_error, table, scanner;

//==============================================================================
//  описание типов данных и переменных этого модуля
//==============================================================================
var
  start_table_lex:table_lex;  //указатель на таблицу лексем

//==============================================================================
//    код модуля
//==============================================================================
procedure next_input(); //обработка аргументов input 
begin
  if(start_table_lex^.cod=18) or (start_table_lex^.cod<>2) then
    error('no argument',start_table_lex^.line)
  else start_table_lex:=start_table_lex^.next;
end;


procedure opr_input();  //оператор input
var
  temp_err:integer; //строка передаваемая в ошибку
begin
  temp_err:=start_table_lex^.line;  //сохранили номер строки
  start_table_lex:=start_table_lex^.next;
  if (start_table_lex<>nil) then  
  begin
    next_input();
    while ((start_table_lex<>nil) and (start_table_lex^.cod=19)) do
    begin
      temp_err:=start_table_lex^.line;
      start_table_lex:=start_table_lex^.next;
      if (start_table_lex<>nil) then next_input()
      else error('no argument',temp_err);
    end;
  end
  else error('no argument',temp_err);
  
end;


procedure sin_analiz(); //синтаксический анализатор
begin
  start_table_lex:=head_table_lex;
//==============================================================================
//    основная работа модуля
//==============================================================================
  while(start_table_lex<>nil) do
  begin
//==============================================================================
//    input
//==============================================================================
    if (start_table_lex^.cod=3) then
    begin
      opr_input();
    end
//==============================================================================
//    print
//==============================================================================
    else if (start_table_lex^.cod=4) then
    begin

    end
//==============================================================================
//    while
//==============================================================================
    else if (start_table_lex^.cod=5) then
    begin

    end
//==============================================================================
//    if
//==============================================================================
    else if (start_table_lex^.cod=7) then
    begin

    end
//==============================================================================
//    for
//==============================================================================
    else if (start_table_lex^.cod=11) then
    begin

    end
//==============================================================================
//    присвоение
//==============================================================================
    else if (start_table_lex^.cod=2) then
    begin

    end;
//==============================================================================
//      обработка разделителя
//==============================================================================
    if ((start_table_lex<>nil)and (start_table_lex.cod<>18)) then error('no separator',start_table_lex^.line)
    else if(start_table_lex<>nil) then start_table_lex:=start_table_lex^.next;
  end;


end;

end.

[Sparky]

это один из последних вариантов попробовать его. Но вот какой вопрос: встречаю лексему while допустим условие я каким нибудь образом обработаю, но вот как быть с тем, что этот оператор заканчивается wend? т.е. обработала условие и поидее нужно еще раз запускать sin_analiz но если wend нет то ошибка должна выйти

по идее можно реализовать флагами, но как сделать поумному?

[Stilet]

Я делаю так.
Ищу wend после while. но если встречаю еще while увеличиваю счетчик вложенности, если встречаю wend счетчик уменьшаю.
Если счетчик равен нулю и встретился wend - считай цикл верен
Если счетчик ушел в минуса или плюсы - ошибка, и так до конца кода.

[Sparky]

//==============================================================================
//    синтаксический анализатор
//==============================================================================
unit sintax_analizator;

interface
//==============================================================================
//  описание процедур доступных из этого модуля
//==============================================================================
  procedure sin_analiz();forward; //синтаксический анализатор

implementation
uses module_error, table, scanner;

//==============================================================================
//  описание типов данных и переменных этого модуля
//==============================================================================
var
  start_table_lex:table_lex;  //указатель на таблицу лексем

//==============================================================================
//    код модуля
//==============================================================================
procedure next_input(); //обработка аргументов input
begin
  if(start_table_lex^.cod=18) or (start_table_lex^.cod<>2) then
    error('no argument',start_table_lex^.line)
  else start_table_lex:=start_table_lex^.next;
end;


procedure opr_input();  //оператор input
var
  temp_err:integer; //строка передаваемая в ошибку
begin
  temp_err:=start_table_lex^.line;  //сохранили номер строки
  start_table_lex:=start_table_lex^.next;
  if (start_table_lex<>nil) then
  begin
    next_input();
    while ((start_table_lex<>nil) and (start_table_lex^.cod=19)) do
    begin
      temp_err:=start_table_lex^.line;
      start_table_lex:=start_table_lex^.next;
      if (start_table_lex<>nil) then next_input()
      else error('no argument',temp_err);
    end;
  end
  else error('no argument',temp_err);
end;



procedure next_print(); //обработка аргументов print
begin
  if(start_table_lex^.cod=18) or (start_table_lex^.cod<>2) then
    error('no argument',start_table_lex^.line)
  else start_table_lex:=start_table_lex^.next;
end;


procedure opr_print();  //оператор print
var
  temp_err:integer; //строка передаваемая в ошибку
begin
  temp_err:=start_table_lex^.line;  //сохранили номер строки
  start_table_lex:=start_table_lex^.next;
  if (start_table_lex<>nil) then
  begin
    next_input();
    while ((start_table_lex<>nil) and (start_table_lex^.cod=19)) do
    begin
      temp_err:=start_table_lex^.line;
      start_table_lex:=start_table_lex^.next;
      if (start_table_lex<>nil) then next_input()
      else error('no argument',temp_err);
    end;
  end
  else error('no argument',temp_err);
end;


function functions():boolean; //функция
begin
  if (start_table_lex^.cod in [14,23]) then functions:=true
  else functions:=false;
end;


function operators():boolean; //операция
begin
  if (start_table_lex^.cod in [15..16,22..31]) then operators:=true
  else operators:=false;
end;

;

[Sparky]

procedure expression(); //
var
  temp_err:integer; //строка передаваемая в ошибку
begin
  if ((start_table_lex^.cod<>20) and (start_table_lex^.cod<>21)and (start_table_lex^.cod<>0)
  and (start_table_lex^.cod<>1)and (start_table_lex^.cod<>2)and (not functions())) then error('expression is expected',start_table_lex^.line) 
//если не встретили ожидаемое ошибка
  else if ((start_table_lex^.cod in[0..2])) then start_table_lex:=start_table_lex^.next 
//если число,строка,идентификатор все хорошо идем дальше
  else if (start_table_lex^.cod=20) then  //если (
  begin
    temp_err:=start_table_lex^.line;  //сохранили номер строки
    start_table_lex:=start_table_lex^.next;
    if (start_table_lex<>nil) then
    begin
      expression();
      if (start_table_lex^.cod=21) then start_table_lex:=start_table_lex^.next
      else error('',start_table_lex^.line);
    end
    else error('',start_table_lex^.line);
  end
  else if(functions) then //если функция
  begin
    temp_err:=start_table_lex^.line;  //сохранили номер строки
    start_table_lex:=start_table_lex^.next;
    if (start_table_lex<>nil) then
    begin
      if (start_table_lex^.cod=20) then
      begin
        temp_err:=start_table_lex^.line;  //сохранили номер строки
        start_table_lex:=start_table_lex^.next;
        if (start_table_lex<>nil) then
        begin
          expression();
          if (start_table_lex^.cod=21) then start_table_lex:=start_table_lex^.next
          else error('',start_table_lex^.line);
        end
        else error('',start_table_lex^.line);
      end
      else error('',start_table_lex^.line);
    end
    else error('',start_table_lex^.line);
  end
  else if (operators()) then  //если оператор
  begin
    temp_err:=start_table_lex^.line;  //сохранили номер строки
    start_table_lex:=start_table_lex^.next;
    if (start_table_lex<>nil) then
    begin
      expression();
    end;
  end
  else  error('',start_table_lex^.line);
end;


procedure assigment();  //
var
  temp_err:integer; //строка передаваемая в ошибку
begin
  temp_err:=start_table_lex^.line;  //сохранили номер строки
  start_table_lex:=start_table_lex^.next;
  if (start_table_lex<>nil) then
  begin
    if (start_table_lex^.cod=17) then //встретили знак присваивание будем обрабатывать правую часть
    begin
      temp_err:=start_table_lex^.line;  //сохранили номер строки
      start_table_lex:=start_table_lex^.next;
      if (start_table_lex<>nil) then expression()
      else error('no argument',temp_err);
    end
    else error('no argument',temp_err);
  end
  else error('no argument',temp_err);
end;


procedure sin_analiz(); //синтаксический анализатор
begin
  start_table_lex:=head_table_lex;
//==============================================================================
//    основная работа модуля
//==============================================================================
  while(start_table_lex<>nil) do
  begin
//==============================================================================
//    input
//==============================================================================
    if (start_table_lex^.cod=3) then
    begin
      opr_input();
    end
//==============================================================================
//    print
//==============================================================================
    else if (start_table_lex^.cod=4) then
    begin
      opr_print();
    end
==============================================================================
//    присваивание
//==============================================================================
    else if (start_table_lex^.cod=2) then
    begin
      assigment();
    end;
//==============================================================================
//      обработка разделителя
//==============================================================================
    if ((start_table_lex<>nil)and (start_table_lex.cod<>18)) then error('no separator',start_table_lex^.line)
    else if(start_table_lex<>nil) then start_table_lex:=start_table_lex^.next;
  end;


end;

end.

Некорректно работает для ситуации y=3+2; как исправить? Если нужно прикреплю проект

[Sparky]

вроде бы исправила, но хотела бы чтобы вы посмотрели код, может можно сделать, то что делаю более правильно

[Stilet]

вы посмотрели код

Я бы не против его поколупать но... Он для меня слишком сложен...
В следующем номере должна выйти моя статья где я описал свой парсер кода.
Не знаю как ты но я лично бы переосмыслил стратегию... ибо твой пример, не знаю на что он рассчитан, но он по-моему чертовски сложен.

[Sparky]

находила в книге Свердлова ЯП и методы трансляции еще одну стратегию разбора, пробовала, но почему-то остановилась на этой. Может будет интересно или пригодится выкладываю то что пока наработала

продолжаю мучать с транслятором, окончательно запуталась и прошу помощи необходимо реализовать синтаксический анализатор, у меня он почти сделан, не работают операторы while и if, не работает вложение в циклы и еще ряд глюков. Прикрепляю полностью свой транслятор. Синтаксический анализатор в модуле kernel_2. Модуль kernel моя попытка переписать заново. Как раз этим и начала заниматься.
Хотелось бы чтобы кто-нибудь помог

[Utkin]

не работают операторы while и if, не работает вложение в циклы и еще ряд глюков.

А вообще когда-нибудь работали? В смысле управляющие конструкции и их вложенность были предусмотрены?