[lxa85]

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

[пчелка]

ну вот в вики есть хороший алгоритм, примерно так и надо, но я не умею работать со стеками....
http://ru.wikipedia.org/wiki/LL-анализатор

[пчелка]

ну в результате преобразований, получился такой код:

Код:

//---------------------------------------------------------------------------

#include <vcl.h>
#pragma hdrstop

#include "Unit1.h"
//---------------------------------------------------------------------------
#pragma package(smart_init)
#pragma resource "*.dfm"
TForm1 *Form1;
           // Управляющая таблица пробел - ошибка
           // таблица в виде двумерного массива строк
String M[18][12]= {{" ", "a", "b", "c", "(", ")", "/", "*",  "+",  "-", "#", "e"},
                  {"S", "E#,1",  "E#,1",  "E#,1",  "E#,1",  " ", " ", " ", " ", " ",  " ",  " "},
                  {"E", "TR,2",  "TR,2",  "TR,2",  "TR,2",  " ", " ", " "," ", " ", " ", " ",},
                  {"R", " "," ", " "," ", "e,5", "e,5", "e,5", "+TR,3 ", "-TR,4", "e,5", "e,5"},
                  {"T", "FW,6", "FW,6", "FW,6", "FW,6", " ", " ", " ", " ", " "," ", " " },
                  {"W", " ", " ", " ", " ", "e,9", "/FW,8 ", "*FW,7", "e,9", "e,9", "e,9", "e,9"},
                  {"F", "a,10", "b,11","c,12 ", "(E),13", " ", " "," "," ", " "," ", " "},
                  {"a", "выброс"," "," ", " ", " "," ", " ", " ", " ", " ", " "},
                  {"b", " ","выброс"," ", " ", " "," ", " ", " ", " ", " ", " "},
                  {"c", " "," ", "выброс "," "," "," ", " ", " ", " ", " ", " "},
                  {"(", " ", " "," ", "выброс"," "," ",  " ", " ", " ", " ", " "},
                  {")", " ", " ", ""," ", "выброс"," ",  " ", " ", " ", " ", " "},
                  {"/", " ", " ", " "," "," ", "выброс", " ", " ", " ", " ", " "},
                  {"*", " "," ", " "," ", " "," ", "выброс", " ", " ", " ", " "},
                  {"+", " "," ", " "," ", " "," ", " ", "выброс", " ", " ", " "},
                  {"-", " ", " ", " "," ", " "," ", " ", " ", "выброс", " ", " "},
                  {"#", " "," ", " "," ", " ", " "," ", " ", " ", "выброс",""},
                  {"$", " "," ", " "," ", " ", " "," ", " ", "", "", "допуск"}
   };
//---------------------------------------------------------------------------
__fastcall TForm1::TForm1(TComponent* Owner)
        : TForm(Owner)
{
}
//---------------------------------------------------------------------------

void __fastcall TForm1::Button2Click(TObject *Sender)
{
Close();        
}
//---------------------------------------------------------------------------
// Т.к. в таблице терминалы и нетерминалы хранятся в виде символов, а нам нужны соответствующие номера колонки или столбца, то поиск номера выносим в отдельную функцию
int findX(char ch){ // ищет в первой строке нужный символ, возвращает номер
                      //вообще-то, строка нулевая :-)
 for (int i=1; i<12; i++)
   if (M[0][i] == ch) return i;
 return 0;
}

int findY(char ch){// ищет в первом столбце нужный символ, возвращает номер
 for (int i=1; i<18; i++)
   if (M[i][0] == ch) return i;
 return 0;
}

void __fastcall TForm1::Button1Click(TObject *Sender){
  String q1=Edit1->Text, q2="S$", q3="", st; // q1,q2,q3 - для алгоритма.
  // q1 - цепочка символов на входе
  // q2 - магазин
  // q3 - порядок правил, которые надо применить для вывода цепочки
  int x,y,f;
  do { // цикл - делать, пока условие внизу (q2!="$") выполняется
   x=findX(q1[1]);// находим координаты в таблице
   y=findY(q2[1]);
   if ((M[y][x]==" ")||(x==0)||(y==0)){// если координаты равны нулю или значение по координатам равно ошибке, то цепочка неправильная. Сообщаем и выходим из функции
     ShowMessage("Данная входная цепочка нереализуема.");
     return;
   }else // иначе
   if (M[y][x]=="допуск"){; //если в таблице "допуск" - ничего не делаем, все разобрали, условие while (q2!="$") выполнится и мы выйдем
   }else
   if (M[y][x]=="выброс"){ // если в таблице "выброс"
     q1.Delete(1,1); // удаляем первый символ из входной цепочки (якобы сместили читающую головку на автомате)
     q2.Delete(1,1); // удаляем первый символ из магазина
     if (q1=="") q1="e"; // если входная цепочка кончилась, записываем пустой символ
   }else { // если не сработало все вышеперечисленное, значит по этим координатам в таблице записано правило, тогда
     q2.Delete(1,1);// удаляем первый символ из магазина
     st=M[y][x]; // сохраняем ячейку-строку из таблицы
     st.Delete(st.Length()-1,2);// убираем запятую и цифру(номер правила) - оставляем только символы из правила перехода
     q2.Insert(st,1); //вставляем их в начало магазина
     q3 = q3+M[y][x][M[y][x].Length()];//цифру добавляем в порядок правил
     if (q3[1]=='e') q3.Delete(1,1); // пустой символ - он и есть пустой символ. Убираем его
     if (q2[1]=='e') q2.Delete(1,1);
   }
  } while (q2!="$");
  // выводим сообщение
ShowMessage("Данная цепочка выводима этой грамматикой. Правила: " + q3);
}
//---------------------------------------------------------------------------

Но почему-то всегда выводит, что чепочка нереализуема, хотя это не так. Этот анализатор должен читать правильно составленные строки из символов: a b c + - * / ( )